咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 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
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1111-1120 订阅
排序:
INC: A language for incremental computations  88
INC: A language for incremental computations
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Yellin, Daniel Strom, Robert IBM T.J. Watson Research Center P.O. Box 704 Yorktown HeightsNY United States
来源: 评论
Refined types: Highly differentiated type s ys terns and their use in the design of intermediate languages
Refined types: Highly differentiated type s ys terns and the...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Rose, John R. Thinking Machines Corporation 245 First St. CambridgeMA United States
来源: 评论
design and implementation of the uw illustrated compiler  88
Design and implementation of the uw illustrated compiler
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Andrew, Kristy Henry, Robert R. Yamamoto, Wayne K. Computer Science Department FR-35 University of Washington SeattleWA98195 United States Computers MS ICO 05 CupminoCA95014 United States AT and T Bell Laboratories IHP2FS.40 ZLM Park Plaza NapervilleIL60566-7050 United States
We have implemented an illustrated compiIer for a simple block structured language. The compiler graphically displays its control and data structures, and so gives its viewers an intuitive understanding of compiler or... 详细信息
来源: 评论
DOC: A practical approach to source-level debugging of globally optimized code  88
DOC: A practical approach to source-level debugging of globa...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Coutant, Deborah S. Meloy, Sue Ruscetta, Michelle Hewlett-Packard 19447 Pruneridge Ave CupertinoCA95014 United States
As optimizing compilers become more sophisticated, the problem of debugging the source code of an application becomes more difficult. In order to investigate this problem, we implemented DOC, a prototype solution for ... 详细信息
来源: 评论
An optimizer for ada-design, experiences and results  88
An optimizer for ada-design, experiences and results
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Schwarz, Birgit Kirchgiissner, Walter Landwehr, Rudolf GMD Forschungsstelle An der Universität Karlsruhe Haid-und-Neu-Str. 7 Karlsruhe 1D-7500 Germany
In this paper we describe the design of a global machine independent low level optimizer for the Karlsruhe Ada Compiler. We give a short overview on the optimizations and data structures used in the optimizer as well ... 详细信息
来源: 评论
An automatically generated, realistic compiler for an imperative programming language
An automatically generated, realistic compiler for an impera...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Pleban, Uwe F. Lee, Peter Tektronix Laboratories P.O. Box 500 M/S 50-662 BeavertonOR9077 United States Department of Computer Science Carnegie Mellon University PittsburghPA15213 United States
We describe the automatic generation of a complete, realistic compiler from formal specifications of the syntax and semantics of Sol/C, a nontrivial imperative language "sort of like C." The compiler exhibit... 详细信息
来源: 评论
Grammatical abstraction and incremental syntax analysis in a language-based editor  88
Grammatical abstraction and incremental syntax analysis in a...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Baillance, Robert A. Butcher, Jacob Graham, Susan L. Computer Science Division-EECS University of California BerkeleyCA94 720 United States Department of Computer Science University of New Mexico AlbuquerqueNM87131 United States
Processors for programming languages and other formal languages typically use a concrete syntax to describe the user's view of a program and an abstract syntax to represent language structures internally. Grammati... 详细信息
来源: 评论
Unfold/fold transformations and loop optimization of logic programs  88
Unfold/fold transformations and loop optimization of logic p...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Debray, Saumya K. Department of Computer Science University of Arizona TucsonAZ85721 United States
Programs typically spend much of their execution time in loops. This makes the generation of efficient code for loops essential for good performance. Loop optimization of logic programming languages is complicated by ... 详细信息
来源: 评论
Object-oriented programming in Scheme  88
Object-oriented programming in Scheme
收藏 引用
1988 acm conference on LISP and Functional programming, LFP 1988
作者: Adams, Norman Rees, Jonathan Tektronix Laboratories Tektronix M/S 50-662 BeavertonOR97077 United States Artificial Intelligence Laboratory Massachusetts Institute of Technology CambridgeMA02139 United States
We describe a small set of additions to Scheme to support object-oriented programming, including a form of multiple inheritance. The extensions proposed are in keeping with the spirit of the Scheme language and conseq... 详细信息
来源: 评论
Debugging concurrent processes: A case study  88
Debugging concurrent processes: A case study
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Stone, Janice M. IBM Research Division T. J. Watson Research Center Yorktown HeightsNY10598 United States
We present a case study that illustrates a method of debugging concurrent processes in a parallel programming eminmmen~ It uses a new approach called specularirp rrpkay to reconstruct tbe behavior of a program from th... 详细信息
来源: 评论