咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,210 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ washington ...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 univ penn philad...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 stanford univ st...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 8 篇 gulwani sumit
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1191-1200 订阅
排序:
IMAGE a language for the interactive manipulation of a graphics environment
IMAGE a language for the interactive manipulation of a graph...
收藏 引用
2nd International conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1975
作者: O'Brien, C.D. Bown, H.G. Communications Research Centre Department of Communications Government of Canada Canada
This paper addresses itself to the problems involved in programming an interactive computer graphics display. A list of graphical programming facilities considered necessary for an interactive graphic programming lang... 详细信息
来源: 评论
design considerations for microprogramming languages  74
Design considerations for microprogramming languages
收藏 引用
1974 National Computer conference, AFIPS 1974
作者: Lloyd, Gregory R. Van Dam, Andries Brown University ProvidenceRI United States
Historically, microprograms have been developed using tools which are appropriate to logic designers (block diagrams, register transfer languages), or systems programmers (microcode assemblers). With the growth of use... 详细信息
来源: 评论
Integrated design
Integrated design
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Habermann, A.N. University of Newcastle Upon Tyne United Kingdom
Matters of design, analysis and documentation of a programming System are frequently ordered sequentially in time and distributed over independent groups of people. It is argued that, instead, these three aspects shou...
来源: 评论
SPIL: A language for construction of reliable system software
SPIL: A Language for construction of reliable system softwar...
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Liskov, Barbara H. Smith, Leroy A. Massachusetts Institute of Technology CambridgeMA United States MITRE Corporation BedfordMA United States
Structured programming is gaining wide acceptance as a technique for increasing the reliability and understandability of software. Nowhere is the need for better software felt more keenly than in the area of systems p... 详细信息
来源: 评论
SPECL: A system programming dialect of ECL
SPECL: A system programming dialect of ECL
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Udin, David Harvard University Center for Computing Technology CambridgeMA United States
The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient... 详细信息
来源: 评论
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]... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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...
来源: 评论
A compiler language for data structures  68
A compiler language for data structures
收藏 引用
23rd Annual acm National conference, acm 1969
作者: Laurance, Neal Ford Motor Company DearbornMI United States
The subject of data structures has received a great deal of attention in the past few years, especially in relation to computer-aided design. programming systems used for creating data structures (sometimes dignified ...
来源: 评论