咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

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

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是771-780 订阅
排序:
Support for garbage collection at every instruction in a JavaTM compiler
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 118-127页
作者: Stichnoth, James M. Lueh, Guei-Yuan Cierniak, Michal Intel Corp Santa Clara United States
A high-performance implementation of a Java Virtual Machine requires a compiler to translate Java bytecodes into native instructions, as well as an advanced garbage collector (e.g., copying or generational). When the ... 详细信息
来源: 评论
Experience with CST: programming and implementation
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 101-109页
作者: Horwat, Waldemar Chien, Andrew A. Dally, William J. MIT United States
CST is a programming language based on Smalltalk-802 that supports concurrency using locks, asynchronous messages, and distributed objects. In this paper, we describe CST: the language and its implementation. Example ... 详细信息
来源: 评论
An instance of the application download pattern: The SPAIDS software loadera/erifier domain analysis and implementation
An instance of the application download pattern: The SPAIDS ...
收藏 引用
1997 conference on TRI-Ada, TRI-Ada 1997
作者: Riley, John D. Dungari, Sangiv Pritchett, William DCS Corporation 1330 Braddock Place AlexandriaVA22314 United States WarrenMI48397-5000 United States
The requirement to obtain application software from an external source and correctly load on a potentially embedded target is a common problem in many domains. For example, a growing solution in an internet environmen... 详细信息
来源: 评论
The DaCapo benchmarks: Java benchmarking development and analysis  06
The DaCapo benchmarks: Java benchmarking development and ana...
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Blackburn, Stephen M. Garner, Robin Hoffmann, Chris Khang, Asjad M. Mckinley, Kathryn S. Bentzur, Rotem Diwan, Amer Feinberg, Daniel Frampton, Daniel Guyer, Samuel Z. Hirzel, Martin Hosking, Antony Jump, Maria Lee, Han Moss, J.Eliot B. Phansalkar, Aashish Stefanoví, Darko VanDrunen, Thomas Von Dincklage, Daniel Wiedermann, Ben Intel Australian National University University of Massachusetts Amherst University of Texas Austin University of New Mexico University of Colorado Tufts IBM TJ Watson Research Center Purdue University Wheaton College
Since benchmarks drive computer science research and industry product development, which ones we use and how we evaluate them are key questions for the community. Despite complex runtime tradeoffs due to dynamic compi... 详细信息
来源: 评论
EventScript: An event-processing language based on regular expressions with actions
收藏 引用
acm sigplan NOTICES 2008年 第7期43卷 111-120页
作者: Cohen, Norman H. Kalleberg, Karl Trygve IBM Thomas J Watson Res Ctr Hawthorne NY USA Univ Bergen N-5020 Bergen Norway
EventScript is a simple but powerful language for programming reactive processes. A stream of incoming events is matched against a regular expression. Actions embedded within the regular expression are executed in res... 详细信息
来源: 评论
Synthesizing Transformations on Hierarchically Structured Data
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 508-521页
作者: Yaghmazadeh, Navid Klinger, Christian Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Univ Freiburg Freiburg Germany Rice Univ Houston TX 77251 USA
This paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees ... 详细信息
来源: 评论
Active information systems, from object-oriented design to Ada 95
Active information systems, from object-oriented design to A...
收藏 引用
1996 conference on TRI-Ada: Disciplined Software Development with Ada, TRI-Ada 1996
作者: Bari, M. Gabrini, P. Rolland, C. Zeroual, C.K. Labo MASI - CNRS UA 818 University of Pierre and Marie Curie Paris France CRIM 1801 McGill College avenue MontrealQC Canada University of Paris 1-Sorbonne Paris Cedex 05F-7523 1 France DMI University of Sherbrooke SherbrookeQC Canada University of Paris XII France
We present an object-oriented design model and its mapping to Ada 95 in order to build Active Information Systems. This represents part of a methodology based, for each step of the software life cycle, on a model and ... 详细信息
来源: 评论
Mace: language support for building distributed systems
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 179-188页
作者: Killian, Charles Anderson, James W. Braud, Ryan Jhala, Ranjit Vahdat, Amin Univ Calif San Diego La Jolla CA 92093 USA
Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run. Tools for building distributed systems must strike a compr... 详细信息
来源: 评论
A certified type-preserving compiler from lambda calculus to assembly language
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 54-65页
作者: Chlipala, Adam Univ Calif Berkeley Berkeley CA 94720 USA
We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the sense that it comes with a machine-checked proof of semantics preservation, performed with t... 详细信息
来源: 评论
The JastAdd Extensible Java Compiler
收藏 引用
acm sigplan NOTICES 2007年 第10期42卷 1-17页
作者: 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... 详细信息
来源: 评论