咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
A Compiler and Run-time System for Network programming languages  12
A Compiler and Run-time System for Network Programming Langu...
收藏 引用
39th Annual acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Monsanto, Christopher Foster, Nate Harrison, Rob Walker, David Princeton Univ Princeton NJ 08544 USA
Software-defined networks (SDNs) are a new kind of network architecture in which a controller machine manages a distributed collection of switches by instructing them to install or uninstall packet-forwarding rules an... 详细信息
来源: 评论
Hierarchical language definition
Hierarchical language definition
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Bochmann, Gregor V. Dept Informatique U. De Montréal Canada
This paper describes a project for the hierarchical definition and implementation of languages. In the spirit of structured programming [ 1] and in analogy to the hierarchical construction of operating systems t 2, 3]... 详细信息
来源: 评论
Self
Self
收藏 引用
3rd acm sigplan History of programming languages conference, HOPL-III
作者: Ungar, David Smith, Randall B. IBM Corporation Sun Microsystems Laboratories
The years 1985 through 1995 saw the birth and development of the language Self, starting from its design by the authors at Xerox PARC, through first implementations by Ungar and his graduate students at Stanford Unive... 详细信息
来源: 评论
Babelsberg/JS A Browser-Based implementation of an Object Constraint language
Babelsberg/JS A Browser-Based Implementation of an Object Co...
收藏 引用
28th European conference on Object-Oriented programming (ECOOP)
作者: Felgentreff, Tim Borning, Alan Hirschfeld, Robert Lincke, Jens Ohshima, Yoshiki Freudenberg, Bert Krahn, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Washington Seattle WA 98195 USA Viewpoints Res Inst Los Angeles CA USA SAP Labs Commun Design Grp San Francisco CA USA
Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling,... 详细信息
来源: 评论
Why software writing is difficult and will remain so
Why software writing is difficult and will remain so
收藏 引用
Joint European conference on Theory and Practice of Software (ETAPS 2003)
作者: Jackson, M London NW8 9QY 101 Hamilton Terrace United Kingdom
Software writing is difficult for many reasons. One important reason is the interplay between the formal world of the computer and its programming language with the informal world where the problem to be solved is loc... 详细信息
来源: 评论
Implicit Invocation Meets Safe, Implicit Concurrency  10
Implicit Invocation Meets Safe, Implicit Concurrency
收藏 引用
9th International conference on Generative programming and Component Engineering
作者: Long, Yuheng Mooney, Sean L. Sondag, Tyler Rajan, Hridesh Iowa State Univ Dept Comp Sci Ames IA 50011 USA
Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is hard to maintain and debug. This type of concurrency also treats m... 详细信息
来源: 评论
Escape analysis on lists
Escape analysis on lists
收藏 引用
acm sigplan '92 conference on programming language design and implementation, pldi 1992
作者: Park, Young Gil Goldberg, Benjamin New York Univ New York City NY United States
Higher order functional programs constantly allocate objects dynamically. These objects are typically cons cells, closures, and records and are generally allocated in the heap and reclaimed later by some garbage colle... 详细信息
来源: 评论
Efficient control flow quantification  06
Efficient control flow quantification
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Bockisch, Christoph Kanthak, Sebastian Haupt, Michael Arnold, Matthew Mezini, Mira Software Technology Group Darmstadt University of Technology Germany Software Architecture Research Group Hasso Plattner Institute for Software Systems Engineering Potsdam Germany IBM T. J.Watson Research Center Yorktown Heights NY United States
Aspect-oriented programming (AOP) is increasingly gaining in popularity. However, the focus of aspect-oriented language research has been mostly on language design issues;efficient implementation techniques have been ... 详细信息
来源: 评论
Proceedings of the 1988 acm conference on LISP and Functional programming, LFP 1988
Proceedings of the 1988 ACM Conference on LISP and Functiona...
收藏 引用
1988 acm conference on LISP and Functional programming, LFP 1988
The proceedings contain 33 papers. The topics discussed include: a variable-arity procedural interface;continuations may be unreasonable: preliminary report;parallel execution of sequential scheme with ParaTran;exact ...
来源: 评论
Classbox/J: Controlling the scope of change in Java
Classbox/J: Controlling the scope of change in Java
收藏 引用
20th conference on Object-Oriented programming, Systems, languages and Applications
作者: Bergel, A Ducasse, S Nierstrasz, O Univ Bern Software Composit Grp Bern Switzerland Univ Savoie Language & Software Evolut Grp LISTIC Chambery France
Unanticipated changes to complex software systems can introduce anomalies such as duplicated code, suboptimal inheritance relationships and a proliferation of run-tirne downcasts. Refactoring to eliminate these anomal... 详细信息
来源: 评论