咨询与建议

限定检索结果

文献类型

  • 1,096 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,228 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

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

作者

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

语言

  • 1,150 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1228 条 记 录,以下是441-450 订阅
排序:
JavaGI in the Battlefield: Practical Experience with Generalized Interfaces  09
JavaGI in the Battlefield: Practical Experience with General...
收藏 引用
8th International conference on Generative programming and Component Engineering
作者: Wehr, Stefan Thiemann, Peter Univ Freiburg D-7800 Freiburg Germany
Generalized interfaces are an extension of the interface concept found in object-oriented languages such as Java or C#. The extension is inspired by Haskell's type classes. It supports retroactive and type-conditi... 详细信息
来源: 评论
Decoupled Lifeguards: Enabling Path Optimizations for Dynamic Correctness Checking Tools  10
Decoupled Lifeguards: Enabling Path Optimizations for Dynami...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Ruwase, Olatunji Chen, Shimin Gibbons, Phillip B. Mowry, Todd C. Carnegie Mellon Univ Pittsburgh PA 15213 USA Intel Labs Pittsburgh Pittsburgh PA USA
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executables at run time. However, lifeguards t... 详细信息
来源: 评论
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing
Invertible Syntax Descriptions: Unifying Parsing and Pretty ...
收藏 引用
3rd acm Haskell Symposium on Haskell
作者: Rendel, Tillmann Ostermann, Klaus Univ Marburg D-35032 Marburg Germany
Parsers and pretty-printers for a language are often quite similar, yet both are typically implemented separately, leading to redundancy and potential inconsistency. We propose a new interface of syntactic description... 详细信息
来源: 评论
Inferable Object-Oriented Typed Assembly language  10
Inferable Object-Oriented Typed Assembly Language
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Tate, Ross Chen, Juan Hawblitzel, Chris Univ Calif San Diego San Diego CA 92103 USA
A certifying compiler preserves type information through compilation to assembly language programs, producing typed assembly language (TAL) programs that can be verified for safety independently so that the compiler d... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Type-preserving compilation of end-to-end verification of security enforcement  10
Type-preserving compilation of end-to-end verification of se...
收藏 引用
acm sigplan 2010 conference on programming language design and implementation, PLDI 2010
作者: Chen, Juan Chugh, Ravi Swamy, Nikhil Microsoft Research United States University of California San Diego CA United States
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in these languages are compiled without exp... 详细信息
来源: 评论
Contracts for Modular Discrete Controller Synthesis  10
Contracts for Modular Discrete Controller Synthesis
收藏 引用
acm sigplan/SIGBED conference on languages, Compilers and Tool for Embedded Systems
作者: Delaval, Gwenael Marchand, Herve Rutten, Eric INRIA Grenoble France INRIA Rennes France
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of... 详细信息
来源: 评论
Supporting Speculative Parallelization in the Presence of Dynamic Data Structures  10
Supporting Speculative Parallelization in the Presence of Dy...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Tian, Chen Feng, Min Gupta, Rajiv Univ Calif Riverside CSE Dept Riverside CA 92521 USA
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative state from non-speculative state forms t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Pure and Declarative Syntax Definition: Paradise Lost and Regained  10
Pure and Declarative Syntax Definition: Paradise Lost and Re...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Kats, Lennart C. L. Visser, Eelco Wachsmuth, Guido Delft Univ Technol NL-2600 AA Delft Netherlands
Syntax definitions are pervasive in modern software systems, and serve as the basis for language processing tools like parsers and compilers. Mainstream parser generators pose restrictions on syntax definitions that f... 详细信息
来源: 评论