咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,226 篇 电子文献
  • 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,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是441-450 订阅
排序:
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... 详细信息
来源: 评论
Using integer sets for data-parallel program analysis and optimization
Using integer sets for data-parallel program analysis and op...
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Adve, Vikram Mellor-Crummey, John Rice Univ Houston United States
In this paper, we describe our experience with using an abstract integer-set framework to develop the Rice dHPF compiler, a compiler for High Performance Fortran. We present simple, yet general formulations of the maj... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Jinn: Synthesizing Dynamic Bug Detectors for Foreign language Interfaces  10
Jinn: Synthesizing Dynamic Bug Detectors for Foreign Languag...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Lee, Byeongcheol Wiedermann, Ben Hirzel, Martin Grimm, Robert McKinley, Kathryn S. Univ Texas Austin Austin TX 78712 USA
programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, composing languages is not, and this poor sp... 详细信息
来源: 评论
ARRAY 2019 - proceedings of the 6th acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, co-located with PLDI 2019
ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN Internationa...
收藏 引用
6th acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2019, co-located with PLDI 2019
The proceedings contain 9 papers. The topics discussed include: finite difference methods fengshui: alignment through a mathematics of arrays;data-parallel flattening by expansion;ALPyNA: acceleration of loops in pyth...
来源: 评论
The JastAdd Extensible Java Compiler  07
The JastAdd Extensible Java Compiler
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Ekman, Torbjorn Hedin, Gorel Univ Oxford Programming Tools Grp Oxford England Lund Univ Dept Comp Sci S-22100 Lund Sweden
The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, and to extend Java with new language constructs. It is built modularly, wit... 详细信息
来源: 评论
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... 详细信息
来源: 评论
On the importance of points-to analysis and other memory disambiguation methods for C programs  01
On the importance of points-to analysis and other memory dis...
收藏 引用
acm sigplan'01 conference on programming language design and implementation (PLDI)
作者: Ghiya, R. Lavery, D. Sehr, D. Intel Corporation 2200 Mission College Blvd Santa Clara CA 95052 United States
In this paper, we evaluate the benefits achievable from pointer analysis and other memory disambiguation techniques for C/C++ programs, using the framework of the production compiler for the Intel &reg Itanium™ pr... 详细信息
来源: 评论
Automatic verification of pointer programs using monadic second-order logic
Automatic verification of pointer programs using monadic sec...
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Jensen, Jakob L. Jorgensen, Michael E. Klarlund, Nils Schwartzbach, Michael I. Univ of Aarhus Aarhus Denmark
We present a technique for automatic verification of pointer programs based on a decision procedure for the monadic second-order logic on finite strings. We are concerned with a while-fragment of Pascal, which include... 详细信息
来源: 评论
Recollections about the development of pascal  2
Recollections about the development of pascal
收藏 引用
2nd acm sigplan conference on History of programming languages, HOPL 1993
作者: Wirth, N. Institut für Computer systeme E7H Zürich ZürichCH-8092 Switzerland
Pascal was defined in 1970 and, after a slow start, becane one of the most widely used languages n introductoiy programming courses. This a/tide first summarises the events leading to Pascal's design and implement... 详细信息
来源: 评论