咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,280 篇 工学
    • 2,149 篇 软件工程
    • 1,702 篇 计算机科学与技术...
    • 86 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 22 篇 电子科学与技术(可...
    • 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 篇 英文
  • 214 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2575 条 记 录,以下是2551-2560 订阅
The two-level approach to data definition and space management in the lis system implementation language
The two-level approach to data definition and space manageme...
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Ichbiah, J.D. Rissen, J.P. Heliard, J.C. Compagnie Internationale pour l'Informatique Louveciennes France
It has often been remarked that surprisingly few parts of the algorithms which define an operating system require the use of unsafe, low-level language features {1}. Nevertheless, the lack of safety inherent in these ... 详细信息
来源: 评论
Software design with invocation diagrami
Software design with invocation diagrami
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Denll, N.J. IBM T. J. Watson Research Center Yorktown HeightsNY10598 United States
This paper describes a medium being developed for abstraction and expression of program structure. The medium is to be used to represent programs during the design process;it forms the basis for their implementation. ... 详细信息
来源: 评论
programming by semantic refinement
Programming by semantic refinement
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Morris, James B. University of California Los Alamcs Scientific Laboratory Los AlemosNM87544 United States
It is becoming increasingly evident that human programmers are not capable of efficiently producing reliable programs if they must be concerned initially with every detail of the final program. The approach described ... 详细信息
来源: 评论
A minisystem programming language  73
A minisystem programming language
收藏 引用
1973 Annual acm conference/Annual Meeting, acm 1973
作者: Lechner, Robert Stallings, William Honeywell Information Systems Inc. United States
TRAIL is a block-structured language and programming system for the development of programming support systems and translators for problem-oriented languages on minicomputers. The programming system includes an interp... 详细信息
来源: 评论
A descriptive model for the design and implementation of computer systems  73
A descriptive model for the design and implementation of com...
收藏 引用
Proceedings of the acm annual conference
作者: John Mazur
We postulate a general computing model and investigate the design and implementation of systems in the postulated environment. The model is drawn from our interpretation of the writings of John von Newmann 1 and other...
来源: 评论
Derivation of axiomatic definitions of programming languages from algorithmic definitions
Derivation of axiomatic definitions of programming languages...
收藏 引用
1972 acm conference on Proving Assertions about Programs
作者: Allen, C. David Programming Technology Department IBM Product Test Laboratory Hursley United Kingdom
language definitions by abstract interpreters are appropriate to the design and development of a language. Axiomatic definitions are more appropriate to proving program properties and verification of compilers. The pr... 详细信息
来源: 评论
Proceedings of acm conference on Proving Assertions about Programs
Proceedings of ACM Conference on Proving Assertions about Pr...
收藏 引用
1972 acm conference on Proving Assertions about Programs
The proceedings contain 21 papers. The topics discussed include: implementation and applications of Scott's logic for computable functions;an algebraic description of programs with assertions, verification and sim...
来源: 评论
Operational semantics of programming languages
Operational semantics of programming languages
收藏 引用
1972 acm conference on Proving Assertions about Programs
作者: Wegner, Peter Brown University United States
A framework is developed for the operational characterization of the semantics of computational formalisms such as programming languages, digital computers and automata. Operational semantics is contrasted with input-... 详细信息
来源: 评论
On a laboratory for the study of automating programming
On a laboratory for the study of automating programming
收藏 引用
1972 acm conference on Proving Assertions about Programs
作者: Cheatham, T.E. Wegbreit, Ben Harvard Center for Research in Computing Technology Harvard University CambridgeMA United States
At the present time there is considerable interest in the general question of T'automating programming;" there are a number of people actively doing research concerned with various aspects of the question and... 详细信息
来源: 评论
implementation and applications of Scott's logic for computable functions
Implementation and applications of Scott's logic for computa...
收藏 引用
1972 acm conference on Proving Assertions about Programs
作者: Milner, Robin Stanford University StanfordCA United States
The basis for this paper is a logic designed by Dana Scott [1] in 196 9 for formalizing arguments about computable functions of higher type. This logic uses typed combinators, and we give a more or less direct transla... 详细信息
来源: 评论