咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是671-680 订阅
排序:
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... 详细信息
来源: 评论
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...
来源: 评论
A systems implementation language for small computers
A systems implementation language for small computers
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Friedman, Frank L. Schneider, Victor B. Department of Computer Science Purdue University West LafayetteIN47907 United States
This paper concerns the development of a family of higher level languages which are to serve as the target languages in the decompiling of assembler coded modules of small computer operating systems. The main objectiv... 详细信息
来源: 评论
Distributed Eiffel: A language for programming multi-granular distributed objects on the Clouds operating system
Distributed Eiffel: A language for programming multi-granula...
收藏 引用
Proceedings of the 1992 International conference on Computer languages
作者: Gunaseelan, L. LeBlanc Jr., Richard J.
The design and implementation of Distributed Eiffel, a language designed and implemented for distributed programming, on top of the Clouds operating system by extending the object-oriented language Eiffel are discusse... 详细信息
来源: 评论
Time and space profiling for non-strict, higher-order functional languages  95
Time and space profiling for non-strict, higher-order functi...
收藏 引用
22nd acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'95
作者: Sansom, Patrick M. Peyton Jones, Simon L. Univ of Glasgow Glasgow United Kingdom
We present the first profiler for a compiled, non-strict, higher-order, purely functional language capable of measuring time as well as space usage. Our profiler is implemented in a production-quality optimising compi... 详细信息
来源: 评论
A collaboration specification language  99
A collaboration specification language
收藏 引用
2nd conference on Domain-Specific languages, DSL 1999
作者: Li, Du Muntz, Richard R. Department of Computer Science University of California Los Angeles Los AngelesCA90024 United States
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the pol... 详细信息
来源: 评论
Cross-Layer Memory Management for Managed language Applications  2015
Cross-Layer Memory Management for Managed Language Applicati...
收藏 引用
acm sigplan International conference on Object-Oriented programming, Systems, languages, and Applications (OOPSLA)
作者: Jantz, Michael R. Robinson, Forrest J. Kulkarni, Prasad A. Doshi, Kshitij A. Univ Tennessee Knoxville TN 37996 USA Univ Kansas Lawrence KS 66045 USA Intel Corp Santa Clara CA 95051 USA
Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power and performance because these effects d... 详细信息
来源: 评论
Tachyon Common Lisp: An efficient and portable implementation of CLtL2
Tachyon Common Lisp: An efficient and portable implementatio...
收藏 引用
Proceedings of the 1992 acm conference on Lisp and Functional programming
作者: Nagasaka, Atsushi Shintani, Yoshihiro Ito, Tanji Gomi, Hiroshi Takahashi, Junichi Oki Electric Industry Co Ltd Tokyo Japan
Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp opti... 详细信息
来源: 评论
Orwell a configuration management system for team programming  88
Orwell a configuration management system for team programmin...
收藏 引用
1988 conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1988
作者: Thomas, Dave Johnson, Kent School of Computer Science Carleton University OttawaONKlS 5B6 Canada
In this paper, we describe the design and implementation of Orwell, a configuration management tool for multiperson SmaIltaIk projects. Although the system described has been implemented for Smalltalk, the design is a... 详细信息
来源: 评论
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... 详细信息
来源: 评论