咨询与建议

限定检索结果

文献类型

  • 1,098 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,058 篇 工学
    • 998 篇 软件工程
    • 761 篇 计算机科学与技术...
    • 47 篇 控制科学与工程
    • 38 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 137 篇 理学
    • 113 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 化学
    • 4 篇 物理学
    • 2 篇 地质学
  • 86 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 30 篇 工商管理
  • 11 篇 教育学
    • 11 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 98 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 55 篇 object oriented ...
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 28 篇 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
  • 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 篇 lam monica s.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,151 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1229 条 记 录,以下是1091-1100 订阅
排序:
Making asynchronous parallelism safe for the world
Making asynchronous parallelism safe for the world
收藏 引用
conference Record of the Seventeenth Annual acm Symposium on Principles of programming languages, POPL'90
作者: Steele, Guy L. Thinking Machines Corp MA United States
A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as... 详细信息
来源: 评论
A tailored design language: Putting model based formal specification into practice
A tailored design language: Putting model based formal speci...
收藏 引用
conference on TRI-ADA 1990
作者: Lees, R.A. Computer Sciences of Australia St Leonards NSW Australia
This paper introduces a model based formal design language aimed at supporting the practical use of rigorous methods within an industrial framework. The language consists of a core that is tailored to suit particular ... 详细信息
来源: 评论
THE design OF THE C++ BOOCH COMPONENTS  90
THE DESIGN OF THE C++ BOOCH COMPONENTS
收藏 引用
CONF ON OBJECT-ORIENTED programming : SYSTEMS, languageS, AND APPLICATIONS / EUROPEAN CONF ON OBJECT-ORIENTED programming ( ECOOP 90 )
作者: BOOCH, G VILOT, M WIZARD SOFTWARE LAKEWOODCO 80227 OBJECTWARE INC NASHUANH 03062
This paper describes design issues encountered developing a reusable component library. The design applied encapsulation, inheritance, composition and type parameterization. The implementation uses various C++ mechani... 详细信息
来源: 评论
PCLOS - STRESS-TESTING CLOS - EXPERIENCING THE METAOBJECT PROTOCOL  90
PCLOS - STRESS-TESTING CLOS - EXPERIENCING THE METAOBJECT PR...
收藏 引用
CONF ON OBJECT-ORIENTED programming : SYSTEMS, languageS, AND APPLICATIONS / EUROPEAN CONF ON OBJECT-ORIENTED programming ( ECOOP 90 )
作者: PAEPCKE, A HEWLETT PACKARD CO PALO ALTOCA 94304
This paper demonstrates that the CLOS metaobject protocol approach to defining and implementing an object model is very powerful. CLOS is an object-oriented language that is based on Common Lisp and is in the process ... 详细信息
来源: 评论
Interacting Processes: A language for coordinated distributed programming
Interacting Processes: A language for coordinated distribute...
收藏 引用
proceedings of the 5th Jerusalem conference on Information Technology
作者: Francez, Nissim Forman, Ira R. Microelectronics & Computer Technology Corp Austin TX USA
An overview is provided of Interacting Processes (IP), a language for the design and implementation of distributed reactive systems based on multiparty interactions. A multiparty interaction is a primitive for both sy... 详细信息
来源: 评论
design and implementation of the interface to compiled languages in APL∗PLUS II  90
Design and implementation of the interface to compiled langu...
收藏 引用
International conference on the APL Programing language, APL 1990
作者: Wheeler, James G. STSC Inc 2115 East Jefferson Street RockvilleMD20852 United States
APL∗PLUS II is a second-generation 32-bit APL interpreter that runs tinder the MS DOS operating system, A recent release has introduced two new system functions - ONA and OMLOAD - that enable APL to dynamically load a... 详细信息
来源: 评论
design and implementation of a specification language type checker
Design and implementation of a specification language type c...
收藏 引用
proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track
作者: Kopas, Robert Berzins, Valdis US Naval Postgrad Sch Comput Sci Dep Monterey CA USA
The authors discuss the design and implementation of a type checker for an advanced specification language using an attribute grammar tool. The design specifically addresses language features, such as generic paramete... 详细信息
来源: 评论
design of a communication system for a real-time C2 simulator
Design of a communication system for a real-time C2 simulato...
收藏 引用
conference on TRI-ADA 1990
作者: Kenyon, F. Dennis Westley, Terry J. Arvin/Calspan Advanced Technology Center P.O. Box 400 Buffalo NY United States
The design of a communication system reflects many decisions made after analysis of the requirements and evaluation of the goals of a particular program. This paper describes the key characteristics and design process... 详细信息
来源: 评论
Petri net models of concurrent Ada programs
Petri net models of concurrent Ada programs
收藏 引用
proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track
作者: Stansifer, Ryan Marinescu, Dan Purdue Univ Software Eng Research Cent West Lafayette IN USA
A subset of the programming language Ada is translated to Petri nets. The subset contains the Ada rendezvous and dynamic task creation. The design of the translation algorithm was influenced by methods of denotational... 详细信息
来源: 评论
A real time Ada design method based on DOD-STD-2167A
A real time Ada design method based on DOD-STD-2167A
收藏 引用
conference on TRI-ADA 1990
作者: Ville, Christophe Bratel, Alain THOMSON-CSF SDC 7 rue des Mathurins 92223 Bagneux France
This paper presents the THOMSON CSF design methodology used on large Real-Time Ada projects compliant with the DOD-STD-2167A standard. This design methodology was defined within the context of the RMR radar software p... 详细信息
来源: 评论