咨询与建议

限定检索结果

文献类型

  • 2,274 篇 会议
  • 296 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,572 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,275 篇 工学
    • 2,144 篇 软件工程
    • 1,697 篇 计算机科学与技术...
    • 84 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 21 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 建筑学
    • 13 篇 土木工程
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 278 篇 理学
    • 217 篇 数学
    • 30 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 207 篇 管理学
    • 112 篇 图书情报与档案管...
    • 107 篇 管理科学与工程(可...
    • 48 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 9 篇 经济学
    • 9 篇 应用经济学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 390 篇 design
  • 369 篇 languages
  • 187 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 78 篇 functional progr...
  • 71 篇 computer program...
  • 71 篇 theory
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 48 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 25 篇 carnegie mellon ...
  • 22 篇 univ washington ...
  • 18 篇 univ penn philad...
  • 17 篇 princeton univ p...
  • 17 篇 stanford univ st...
  • 16 篇 univ texas austi...
  • 15 篇 harvard univ cam...
  • 14 篇 purdue univ w la...
  • 13 篇 microsoft res re...
  • 13 篇 microsoft resear...
  • 13 篇 rice univ housto...
  • 12 篇 univ wisconsin m...
  • 12 篇 mit cambridge ma...
  • 12 篇 cornell univ ith...
  • 12 篇 microsoft res ca...
  • 11 篇 univ michigan an...
  • 11 篇 swiss fed inst t...
  • 11 篇 univ calif berke...
  • 10 篇 microsoft res re...
  • 10 篇 yale univ new ha...

作者

  • 19 篇 hirschfeld rober...
  • 16 篇 walker david
  • 15 篇 visser eelco
  • 15 篇 felleisen matthi...
  • 14 篇 findler robert b...
  • 13 篇 grossman dan
  • 13 篇 bacon david f.
  • 12 篇 chlipala adam
  • 11 篇 flatt matthew
  • 11 篇 sarkar vivek
  • 11 篇 myers andrew c.
  • 11 篇 mezini mira
  • 11 篇 morrisett greg
  • 10 篇 mckinley kathryn...
  • 10 篇 bockisch christo...
  • 10 篇 adl-tabatabai al...
  • 10 篇 van der storm ti...
  • 10 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a

语言

  • 2,356 篇 英文
  • 211 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2572 条 记 录,以下是2411-2420 订阅
排序:
Object structure in the emerald system  86
Object structure in the emerald system
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
作者: Black, Andrew Hutchinson, Norman Jul, Eric Levy, Henry Department of Computer Science FR-35 University of Washington SeattleWA98195 United States
Emerald is an object-based language for the construction of distributed applications. The principal features of Emerald lnehtde a uniform object model appropriate for programming both private local objects and shared ... 详细信息
来源: 评论
Genericity versus inheritance  86
Genericity versus inheritance
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
作者: Meyer, Bertrand University of California Santa Barbara United States Interactive Software Engineering Inc. 270 Storke Road Suite #7 GolctaCA93117 United States
Genericity. as in Ada or ML. And inheritance, as in object-oriented languages, are two alternative techniques for ensuring better extendibility, reusability and compatibility of software components. This article is a ... 详细信息
来源: 评论
Proceedings of the 1986 acm conference on LISP and Functional programming, LFP 1986
Proceedings of the 1986 ACM Conference on LISP and Functiona...
收藏 引用
1986 acm conference on LISP and Functional programming, LFP 1986
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of LISP;laws in Miranda;variations on strictness analysis;exper...
来源: 评论
programming for observability support in a parallel programming environment  86
Programming for observability support in a parallel programm...
收藏 引用
1986 acm 14th Annual conference on Computer Science, CSC 1986
作者: Gregoretti, Francesco Segall, Zary Department of Computer Science Pittsburgh Carnegie Mellon University PA United States
The programming for observability concept for performance/correctness debugging in a parallel programming environment is introduced. The design, first implementation, and evaluation of the required language and system... 详细信息
来源: 评论
Proceedings of the conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA
Proceedings of the Conference on Object-Oriented Programming...
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
The proceedings contain 49 papers. The topics discussed include: Petri net-based object-oriented modelling of distributed systems;the application accelerator illustration system;a smalltalk system for algebraic manipu...
来源: 评论
PI: A case study in object-oriented programming  86
PI: A case study in object-oriented programming
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
作者: Cargill, T.A. AT T Belt Laboratories Murray HillNJ07974 United States
Pi is a debugger written in C++. This paper explains how object-oriented programming in C++ has influenced Pi's evolution. The motivation for object- oriented programming was to experiment with a browner-like grap... 详细信息
来源: 评论
language support for changeable large real time systems  86
Language support for changeable large real time systems
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
作者: Jacobson, Ivar Ericsson Telecom StockholmS-12625 Sweden Swedish Institute of Computer Science Box 1263 SpålngaS-16313 Sweden
A set of concepts for modeling large real time systems is discussed informally. The concepts support the design of cenmtlized as well as distributed systems. They are object oriented in that they correspond to entitie... 详细信息
来源: 评论
Moving structures between smalltalk images  86
Moving structures between smalltalk images
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
作者: Vegdahl, Steven R. Computer Research Laboratory Tektronix Laboratories P.O. Box 500 M.S. 50-662 BeavertonOR97077 United States
There are a number of reasons why a user might want to move data structures between Smalltalk images. Unfommately, the facilities for doing this in the standard Smalltalk image are inadequate: They do not handle circu... 详细信息
来源: 评论
Virtual instruments: Object-oriented program synthesis  86
Virtual instruments: Object-oriented program synthesis
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
作者: Bhaskar, K.S. Peckol, J.K. Beug, J.L. John Fluke Mfg. CO. Inc. United States Polytechnic State Univenity CA United States
Virtual Instruments is on experimental programming environment for developing electronic test and measurement (T&M) applications. Intended users are test engineers, who are not programmers, but computer literate d... 详细信息
来源: 评论
design of an optimising, dynamically retargetable compiler for common lisp
Design of an optimising, dynamically retargetable compiler f...
收藏 引用
1986 acm conference on LISP and Functional programming, LFP 1986
作者: Brooks, Rodney A. Posner, David B. McDonald, James L. White, Jon L. Benson, Eric Gabriel, Richard P. Massachusetts Institute of Technology Lucid Inc. United States
We outline the components of a retargetable cross-compiler for the Common Lisp language. A description is given of a method for modeling the various hardware features in the compiler's database, and a breakdown is... 详细信息
来源: 评论