咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1181-1190 订阅
排序:
language extensibility and program design  76
Language extensibility and program design
收藏 引用
13th design Automation conference, DAC 1976
作者: Hubbard, Ronald D. Sperry Univac Blue BellPA United States
The purpose of this paper is to define a method of adding extensibility to programming languages and to demonstrate the advantages of extensibility. The paper describes a method of adding ldquo;abstract data and opera... 详细信息
来源: 评论
A planning and design technique  76
A planning and design technique
收藏 引用
8th International conference on APL, APL 1976
作者: Siller, J. International Business Machines HoustonTX77058 United States
The task of developing hierarchical (series-parallel) networks can become formidable even with only a few dozen elements. This article describes a computer aided, interactive technique to structure such networks. The ... 详细信息
来源: 评论
Structured programming: From theory to practice  2
Structured Programming: From theory to practice
收藏 引用
2nd International conference on Software Engineering, ICSE 1976
作者: Carrow, John C. US Army Computer Systems Command United States
One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect ... 详细信息
来源: 评论
A user-oriented computer graphics system  76
A user-oriented computer graphics system
收藏 引用
3rd Annual conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1976
作者: Pooch, Udo W. Computing Science Division Texas A and M University College StationTX77843 United States
A user-oriented Computer Graphics System (CGS) is described, which primarily has been designed to aid the application programmer, and not just the sophisticated computer graphics user. The system has been designed to ... 详细信息
来源: 评论
design and verification of real-time systems  2
Design and verification of real-time systems
收藏 引用
2nd International conference on Software Engineering, ICSE 1976
作者: Phillips, Jorge V. Bredt, Thomas H. Artificial Intelligence Laboratory Stanford University United States Digitai Systems Laboratory Stanford University Hewlett-Packard Company United States
This paper presents a methodology for the design and verification of a class of real-time systems frequently encountered in applications of digital control. These methodologies are described in the form of a design an... 详细信息
来源: 评论
APL comparison tolerance  76
APL comparison tolerance
收藏 引用
8th International conference on APL, APL 1976
作者: Lathwell, R.H. IBM APL Design Philadelphia United States
An important aspect of the original implementation of APL\360 was the treatment of arithmetic functions as abstract functions defined on the continuous set of real numbers [1,2]. This had various consequences, includi...
来源: 评论
Towards an engineering approach to software design  2
Towards an engineering approach to software design
收藏 引用
2nd International conference on Software Engineering, ICSE 1976
作者: White, John R. Booth, Taylor L. Department of Electrical Engineering and Computer Science University of Connecticut StorrsCT United States
The software design process is discussed from an engineering point of view. Initially, a distinction is made between software design and program design. Software design is then described in terms of evolving a system ... 详细信息
来源: 评论
acm '76 - proceedings OF THE ANNUAL conference.
收藏 引用
1976年
作者: Anon
This symposium, held in Houston, Texas from October 20 to 22, 1976 contains 105 papers. Topics covered include: Theoretical results in compiler design and implementation; Computer system and network architecture; Rece... 详细信息
来源: 评论
Structured programming: From theory to practice  76
Structured Programming: From theory to practice
收藏 引用
proceedings of the 2nd international conference on Software engineering
作者: John C. Carrow
One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect ... 详细信息
来源: 评论
Automatic data base schema design and optimization  1
Automatic data base schema design and optimization
收藏 引用
1st International conference on Very Large Data Bases, VLDB 1975
作者: Mitoma, Michael F. Irani, Keki B. University of Michigan Ann ArborMI48104 United States
The production of an appropriate COBASYL Data Base Task Group (DBTG) Data Description language (DDL) schema for a given data management application is a significant design problem. This research is devoted to the deve... 详细信息
来源: 评论