咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 32 篇 object oriented ...
  • 27 篇 probabilistic pr...
  • 26 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 domain-specific ...
  • 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 calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 9 篇 univ washington ...
  • 8 篇 mit cambridge ma...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 chlipala adam
  • 10 篇 dillig isil
  • 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 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 mansinghka vikas...
  • 6 篇 bodik rastislav

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是681-690 订阅
排序:
SPLASH'12 - Proceedings of the 2012 acm conference on Systems, programming, and Applications: Software for Humanity
SPLASH'12 - Proceedings of the 2012 ACM Conference on System...
收藏 引用
2012 3rd acm conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2012
The proceedings contain 57 papers. The topics discussed include: the storyteller version control system: tackling version control, code comments, and team learning;the ALIA4J approach to efficient language implementat...
来源: 评论
Component NextGen: A sound and expressive component framework for Java  07
Component NextGen: A sound and expressive component framewor...
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Sasitorn, James Cartwright, Robert Rice Univ Houston TX 77251 USA
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across components are common in object-orien... 详细信息
来源: 评论
Java interfaces in CS 1 textbooks
Java interfaces in CS 1 textbooks
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: VanDrunen, Thomas Wheaton College Wheaton IL
Java's interface construct allows for a clear distinction between subtype polymorphism based on a shared interface and code reuse based on class extension or inheritance. design Patterns argues that in an object-o... 详细信息
来源: 评论
Identifying the semantic and textural differences between two versions of a program
Identifying the semantic and textural differences between tw...
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Horwitz, Susan Univ of Wisconsin-Madison Madison United States
Text-based file comparators (e.g., the Unix utility diff), are very general tools that can be applied to arbitrary files. However, using such tools to compare programs can be unsatisfactory because their only notion o... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation
收藏 引用
JOURNAL OF FUNCTIONAL programming 2007年 第4-5期17卷 547-612页
作者: Sewell, Peter Leifer, James J. Wansbrough, Keith Nardelli, Francesco Zappa Allen-Williams, Mair Habouzit, Pierre Vafeiadis, Viktor Univ Cambridge Cambridge England INRIA Rocquencourt Le Chesnay France
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b... 详细信息
来源: 评论
Composable attribute grammars: Support for modularity in translator design and implementation
Composable attribute grammars: Support for modularity in tra...
收藏 引用
19th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'92
作者: Farrow, R. Marlowe, T.J. Yellin, D.M. Declarative Systems Inc
This paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to co... 详细信息
来源: 评论
The design and implementation of Kaleidoscope'90--A constraint imperative programming language
The design and implementation of Kaleidoscope'90--A constrai...
收藏 引用
Proceedings of the 1992 International conference on Computer languages
作者: Freeman-Benson, Bjorn N. Borning, Alan Dept of Comput Sci Univ of Victoria BC Canada
Two major paradigms in computer programming languages are imperative and declarative programming. The authors describe a scheme for languages that integrate specific features from these two paradigms into a new framew... 详细信息
来源: 评论
ContextErlang: Introducing context-oriented programming in the actor model  12
ContextErlang: Introducing context-oriented programming in t...
收藏 引用
11th Annual International conference on Aspect Oriented Software Development, AOSD'12
作者: Salvaneschi, Guido Ghezzi, Carlo Pradella, Matteo DEEPSE Group DEI Politecnico di Milano Piazza L. Da Vinci 32 Milano Italy
Self-adapting systems are becoming widespread in emerging fields such as autonomic, mobile and ubiquitous computing. Context-oriented programming (COP) is a promising language-level solution for the implementation of ... 详细信息
来源: 评论
Statically scoped object adaptation with expanders  06
Statically scoped object adaptation with expanders
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Warth, Alessandro Stanojević, Milan Millstein, Todd Computer Science Department University of California Los Angeles
This paper introduces the expander, a new object-oriented (OO) programming language construct designed to support object adaptation. Expanders allow existing classes to be noninvasively updated with new methods, field... 详细信息
来源: 评论
programming aspects of VLSI  82
Programming aspects of VLSI
收藏 引用
9th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 1982
作者: Lipton, Richard J. Sedgewick, Robert Valdes, Jacobo Department of Electrical Engineering and Computer Science Princeton University PrincetonNJ United States Computer Science Department Brown University ProvidenceRI United States
Two components of a VLSI design environment being built at Princeton are described. The general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is... 详细信息
来源: 评论