咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 129 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 801 篇 工学
    • 787 篇 软件工程
    • 527 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 univ washington ...
  • 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 篇 aiken alex
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
903 条 记 录,以下是781-790 订阅
排序:
On slicing programs with jump statements  94
On slicing programs with jump statements
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Agrawal, Hiralal Bellcore Morristown United States
Program slices have potential uses in many software engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump statements. Two similar algorithms we... 详细信息
来源: 评论
Optimizing dynamically-dispatched calls with run-time type feedback  94
Optimizing dynamically-dispatched calls with run-time type f...
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Holzle, Urs Ungar, David Stanford Univ Stanford CA United States
Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not know which callee will be invoked at run... 详细信息
来源: 评论
Type analysis of Prolog using type graphs  94
Type analysis of Prolog using type graphs
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Van Hentenryck, P. Cortesi, A. Le Charlier, B. Brown Univ Providence United States
Type analysis of Prolog is of primary importance for high-performance compilers, since type information may lead to better indexing and to sophisticated specializations of unification and built-in predicates to name a... 详细信息
来源: 评论
Backtracking without trailing in CLP (RLin)  94
Backtracking without trailing in CLP (RLin)
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Van Hentenryck, Pascal Ramachandran, Viswanath Brown Univ Providence United States
Constraint logic programming (CLP) is a generalization of logic programming where unification is replaced by constraint solving as the basic operation of the language. The combination of constraint solving and nondete... 详细信息
来源: 评论
Randomized implementation of multiple functional arrays
Randomized implementation of multiple functional arrays
收藏 引用
Proceedings of the 1994 acm conference on LISP and Functional programming
作者: Chuang, Tyng-Ruey Chalmers Univ of Technology Goteborg Sweden
The array update problem in the implementation of a purely functional language is the following: once an array is updated, both the original array and the newly updated one must be preserved to maintain referential tr... 详细信息
来源: 评论
Program structure tree. Computing control regions in linear time
Program structure tree. Computing control regions in linear ...
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Johnson, Richard Pearson, David Pingali, Keshav Cornell Univ Ithaca United States
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flow graph. We give a linear-time algorit... 详细信息
来源: 评论
Proceedings of the acm sigplan '93 conference on programming language design and implementation
Proceedings of the ACM SIGPLAN '93 Conference on Programming...
收藏 引用
acm sigplan '93 conference on programming language design and implementation, PLDI 1993
This conference proceedings contains 29 papers on the design, development, implementation and use of programming languages, with emphasis on experimental results and practical experience. Topics discussed include the ... 详细信息
来源: 评论
Communicating reactive processes  93
Communicating reactive processes
收藏 引用
20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93
作者: Berry, G. Ramesh, S. Shyamasundar, R.K. Ecole des Mines Sophia-Antipolis France
We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, ... 详细信息
来源: 评论
Charm++: A portable concurrent object oriented system based on C++  8
Charm++: A portable concurrent object oriented system based ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Kale, Laxmikant V. Krishnan, Sanjeev Department of Computer Science University of Illinois Urbana-Champaign United States
We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described.... 详细信息
来源: 评论
Proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
Proceedings of the 6th International Conference on Functiona...
收藏 引用
Proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
The conference materials contain 33 papers. The topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext... 详细信息
来源: 评论