咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1101-1110 订阅
排序:
proceedings of the conference on Tri-Ada 1989: Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989
Proceedings of the Conference on Tri-Ada 1989: Ada Technolog...
收藏 引用
1989 International conference on Ada : Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989
The proceedings contain 49 papers. The topics discussed include: the Howitzer improvement program: lessons learned;requirements analysis for large Ada programs: lessons learned on CCPDS-R;Ada implementation of an x wi...
来源: 评论
Semantics of program dependence
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 13-27页
作者: Cartwright, Robert Felleisen, Matthias Rice Univ United States
Optimizing and parallelizing compilers for procedural languages rely on various forms of program dependence graphs (pdgs) to express the essential control and data dependences among atomic program operations. In this ... 详细信息
来源: 评论
Automatic test generation algorithm for hardware description languages
Automatic test generation algorithm for hardware description...
收藏 引用
26th acm/IEEE design Automation conference, DAC 1989
作者: Norrod, Forrest E. Hewlett Packard Fort Collins CO USA
The E-algorithm, a method for generating tests for general logic circuits modeled using a hardware description language is presented. The proposed E-algorithm generates tests for control, operation, and data faults in... 详细信息
来源: 评论
Dependence analysis for pointer variables
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 28-40页
作者: Horwitz, Susan Pfeiffer, Phil Reps, Thomas Univ of Wisconsin United States
Our concern is how to determine data dependences between program constructs in programming languages with pointer variables. We are particularly interested in computing data dependences for languages that manipulate h... 详细信息
来源: 评论
Reasoning about continuations with control effects
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 218-226页
作者: Jouvelot, Pierre Gifford, David K. Ecole des Mines France
We present a new static analysis method for first-class continuations that uses an effect system to classify the control domain behavior of expressions in a typed polymorphic language. We introduce two new control eff... 详细信息
来源: 评论
Mul-T: a high-performance parallel Lisp
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 81-90页
作者: Kranz, David Halstead Jr., Robert H. Mohr, Eric MIT United States
Mul-T is a parallel Lisp system, based on Multilisp's future construct, that has been developed to run on an Encore Multimax multiprocessor. Mul-T is an extended version of the Yale T system and uses the T system&... 详细信息
来源: 评论
Scannerless NSLR(1) parsing of programming languages  89
Scannerless NSLR(1) parsing of programming languages
收藏 引用
proceedings of the acm sigplan 1989 conference on programming language design and implementation
作者: D. J. Salomon G. V. Cormack Department of Computer Science University of Waterloo Waterloo Ontario Canada
The disadvantages of traditional two-phase parsing (a scanner phase preprocessing input for a parser phase) are discussed. We present metalanguage enhancements for context-free grammars that allow the syntax of progra...
来源: 评论
Incremental generation of parsers  89
Incremental generation of parsers
收藏 引用
proceedings of the acm sigplan 1989 conference on programming language design and implementation
作者: J. Heering P. Klint J. Rekers Department of Software Technology Centre for Mathematics and Computer Science P. 0. Box 4079 1009 AB Amsterdam The Netherlands Programming Research Group University of Amsterdam P. 0. Box 4 7 882 1009 DB Amsterdam The Netherlands
An LR-based parser generator for arbitrary context-free grammars is described, which generates parsers by need and processes grammar modifications by updating already existing parsers. We motivate the need for these t...
来源: 评论
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language  89
Customization: optimizing compiler technology for SELF, a dy...
收藏 引用
proceedings of the acm sigplan 1989 conference on programming language design and implementation
作者: C. Chambers D. Ungar Stanford University
Dynamically-typed object-oriented languages please programmers, but their lack of static type information penalizes performance. Our new implementation techniques extract static type information from declaration-free ...
来源: 评论
proceedings of the acm sigplan conference on programming language design and implementation (PLDI)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
The proceedings contain 33 papers. The topics discussed include: real-time concurrent collection on stock multiprocessors;detecting conflicts between structure accesses;interprocedural slicing using dependence graphs;...
来源: 评论