咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 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
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是981-990 订阅
排序:
Enabling reuse with Ada generics  10
Enabling reuse with Ada generics
收藏 引用
10th Annual Washington Ada Symposium on Ada: Ada's Role in Software Engineering, WADAS 1993
作者: Frankel, Michael Esprit Systems Consulting Inc. P.O. BOX 1486 West ChesterPA19380 United States
A common misconception that is held by many people after being exposed to the Ada language for the first time, is that Ada generics are synonymous with, or even required to be used in order to accomplish "reuse&q... 详细信息
来源: 评论
Ada 9X and case: A methods perspective
Ada 9X and case: A methods perspective
收藏 引用
1993 conference on TRI-Ada, TRI-Ada 1993
作者: Frankel, Mike Esprit Systems Consulting Inc. P.O. Box 1486 West ChesterPA19380 United States
We are currently just able to keep our heads above water when dealing with Ada design. The Ada 83 language is complex enough that it requires us to apply a special Ada methodology to our software development effOrt. T... 详细信息
来源: 评论
Panel: STARS : Impact of megaprogramming on systems engineering, process and future competitiveness
Panel: STARS : Impact of megaprogramming on systems engineer...
收藏 引用
1993 conference on TRI-Ada, TRI-Ada 1993
作者: Payton, Teri Hodges, Bill Ceely, Dave Paramax United Kingdom Boeing United Kingdom IBM United Kingdom
This panel will address the systems engineering, process and domain concepts of Megaprogramming. Megaprogramming embraces process, architecture and reuse concepts, along with supporting technology including software e... 详细信息
来源: 评论
design and implementation of CB lite
Design and implementation of CB lite
收藏 引用
proceedings of the 7th conference on Organizational Computing Systems
作者: Kogan, Dan Intel Corp Hillsboro OR United States
The CB Lite project presents a case study in the design to integrate flexible and active support for cooperative work activities into an existing environment. The system's underlying philosophy and architecture ar... 详细信息
来源: 评论
Fortran 90D/HPD compiler for distributed memory MIMD computers: design, implementation, and performance and results
Fortran 90D/HPD compiler for distributed memory MIMD compute...
收藏 引用
proceedings of the Supercomputing '93 conference
作者: Bozkus, Zeki Choudhary, Alok Fox, Geoggrey Haupt, Tomasz Ranka, Sanjay Syracuse Univ Syracuse United States
Fortran 90D/HPF is a data parallel language with special directives to enable users to specify data alignment and distributions. This paper describes the design and implementation of a Fortran90D/HPF compiler. Techniq... 详细信息
来源: 评论
proceedings of the conference on Human Factors in Computing Systems - INTERACT '93 and CHI '93
Proceedings of the Conference on Human Factors in Computing ...
收藏 引用
proceedings of the conference on Human Factors in Computing Systems - INTERACT '93 and CHI '93
The proceedings contains 112 papers. Some of the topics discussed are: sharing design memory;interacting in 3 dimensions;understanding programming;skill development;usability assessment methods;sign language interface... 详细信息
来源: 评论
proceedings of the 4th Annual Workshop for the acm Special Interest Group on Forth: Forth from the Classroom to the Real World, FORTH 1992 - In conjunction with the acm Computer Science conference, acm Computer Science Education conference and the acm Symposium on Applied Computing
Proceedings of the 4th Annual Workshop for the ACM Special I...
收藏 引用
4th Annual Workshop for the acm Special Interest Group on Forth, FORTH 1992
The proceedings contain 8 papers. The topics discussed include: the software stack data-type as an operating system service;forth in space: interfacing SSBUV, a scientific instrument, to the space shuttle;first step t...
来源: 评论
Object-orienter design and automatic and code generation in the education of software engineers
Object-orienter design and automatic and code generation in ...
收藏 引用
1993 conference on TRI-Ada, TRI-Ada 1993
作者: El Guemhioui, K. Demurjian, S.A. Peters, T.J. Computer Science and Engineering Department University of Connecticut 260 Glenbrook Road StorrsCT06269-3155 United States
In the past five years, there has been an increased emphasis and interest in the object-oriented approack with its benefits of data encapsulation irtfortnation hiding, snd inheritance, for design and development. We a... 详细信息
来源: 评论
implementation of the CORAL deductive database system
Implementation of the CORAL deductive database system
收藏 引用
proceedings of the 1993 acm SIGMOD International conference on Management of Data
作者: Ramakrishnan, Raghu Sudarshan, S. Srivastava, Divesh Seshadri, Praveen Univ of Wisconsin Madison United States
CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persiste... 详细信息
来源: 评论
Jigsaw Pascal: a visual programming tool
Jigsaw Pascal: a visual programming tool
收藏 引用
proceedings of the 16th Annual Energy - Sources Technology conference and Exhibition
作者: Bayrak, Coskun Patel, Nirav Tanik, Murat M. Southern Methodist Univ Dallas United States
This paper surveys a relatively new practice in Computer Science-programming with the aid of graphics tools. A simple classification scheme of the various tools which support visual programming is introduced and tools... 详细信息
来源: 评论