咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

  • 931 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是351-360 订阅
排序:
Caisson: A Hardware Description language for Secure Information Flow  11
Caisson: A Hardware Description Language for Secure Informat...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Li, Xun Tiwari, Mohit Oberg, Jason K. Kashyap, Vineeth Chong, Frederic T. Sherwood, Timothy Hardekopf, Ben Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system's root of trust. We incorporate insights a... 详细信息
来源: 评论
Dependent types in practical programming
Conference Record of the Annual ACM Symposium on Principles ...
收藏 引用
conference Record of the Annual acm Symposium on Principles of programming languages 1999年 214-227页
作者: Xi, Hongwei Pfenning, Frank Oregon Graduate Inst of Science and Technology Beaverton OR United States
We present an approach to enriching the type system of ML with a restricted form of dependent types, where type index objects are drawn from a constraint domain C, leading to the DML(C) language schema. This allows sp... 详细信息
来源: 评论
implementation of complete, asynchronous, distributed garbage collection
Implementation of complete, asynchronous, distributed garbag...
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Le Fessant, Fabrice Piumarta, Ion Shapiro, Marc INRIA Roquencourt Le Chesnay France
Most existing reference-based distributed object systems include some kind of acyclic garbage collection, but fail to provide acceptable collection of cyclic garbage. Those that do provide such GC currently suffer fro... 详细信息
来源: 评论
Flexible Object Layouts Enabling Lightweight language Extensions by Intercepting Slot Access  11
Flexible Object Layouts Enabling Lightweight Language Extens...
收藏 引用
2011 acm International conference on Object Oriented programming Systems languages and Applications
作者: Verwaest, Toon Lungu, Mircea Nierstrasz, Oscar Bruni, Camillo Univ Bern Software Composit Grp CH-3012 Bern Switzerland INRIA Lille Nord Europe RMoD Lille France
programming idioms, design patterns and application libraries often introduce cumbersome and repetitive boilerplate code to a software system. language extensions and external DSLs (domain specific languages) are some... 详细信息
来源: 评论
Parcae: A System for Flexible Parallel Execution  12
Parcae: A System for Flexible Parallel Execution
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Raman, Arun Zaks, Ayal Lee, Jae W. August, David I. Intel Res Santa Clara CA USA Intel Corp Haifa Israel Sungkyunkwan Univ Suwon South Korea Princeton Univ Princeton NJ 08544 USA
Workload, platform, and available resources constitute a parallel program's execution environment. Most parallelization efforts statically target an anticipated range of environments, but performance generally deg... 详细信息
来源: 评论
A Play on Regular Expressions Functional Pearl  10
A Play on Regular Expressions Functional Pearl
收藏 引用
15th acm sigplan International conference on Functional programming
作者: Fischer, Sebastian Huch, Frank Wilke, Thomas Univ Kiel D-24098 Kiel Germany
Cody, Hazel, and Theo, two experienced Haskell programmers and an expert in automata theory, develop an elegant Haskell program for matching regular expressions: (i) the program is purely functional;(ii) it is overloa... 详细信息
来源: 评论
Generating Safe Boundary APIs between Typed EDSLs and Their Environments  2015
Generating Safe Boundary APIs between Typed EDSLs and Their ...
收藏 引用
14th acm sigplan International conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference
作者: Reynders, Bob Devriese, Dominique Piessens, Frank Katholieke Univ Leuven iMinds Distrinet Leuven Belgium
Embedded domain specific languages (EDSLs) are used to represent special-purpose code in a general-purpose language and they are used for applications like vector calculations and run-time code generation. Often, code... 详细信息
来源: 评论
language Transformations in the Classroom  28
Language Transformations in the Classroom
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Cimini, Matteo Mourad, Benjamin Univ Massachusetts Lowell Lowell MA 01854 USA
language transformations are algorithms that take a language specification in input, and return the language specification modified. language transformations are useful for automatically adding features such as subtyp... 详细信息
来源: 评论
DRFx: A Simple and Efficient Memory Model for Concurrent programming languages  10
DRFx: A Simple and Efficient Memory Model for Concurrent Pro...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Marino, Daniel Singh, Abhayendra Millstein, Todd Musuvathi, Madanlal Narayanasamy, Satish Univ Calif Los Angeles Los Angeles CA 90095 USA
The most intuitive memory model for shared-memory multi-threaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations thereby impacting performance. Data-rac... 详细信息
来源: 评论
Adaptive Input-aware Compilation for Graphics Engines  12
Adaptive Input-aware Compilation for Graphics Engines
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Samadi, Mehrzad Hormati, Amir Mehrara, Mojtaba Lee, Janghaeng Mahlke, Scott Univ Michigan Ann Arbor MI 48109 USA Microsoft Res Redmond WA USA NVIDIA Res Santa Clara CA USA
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required to optimize applications is an obstacl... 详细信息
来源: 评论