咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,075 篇 工学
    • 1,008 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 35 篇 信息与通信工程
    • 34 篇 电气工程
    • 10 篇 机械工程
    • 9 篇 电子科学与技术(可...
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 农业工程
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 轻工技术与工程
  • 131 篇 理学
    • 111 篇 数学
    • 12 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 4 篇 物理学
    • 4 篇 化学
  • 88 篇 管理学
    • 51 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 3 篇 农学
    • 3 篇 作物学

主题

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

机构

  • 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 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,173 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation"
1251 条 记 录,以下是1081-1090 订阅
排序:
TAG-FREE GARBAGE COLLECTION FOR STRONGLY TYPED programming-languageS  91
TAG-FREE GARBAGE COLLECTION FOR STRONGLY TYPED PROGRAMMING-L...
收藏 引用
CONF ON programming language : design AND implementation
作者: GOLDBERG, B NYU COURANT INST MATH SCIDEPT COMP SCINEW YORKNY 10012
With the emergence of a number of strongly typed languages with very dynamic storage allocation, efficient methods of storage reclamation have become especially important. Even though no type tags are required for typ... 详细信息
来源: 评论
An extension of Standard ML modules with subtyping and inheritance  91
An extension of Standard ML modules with subtyping and inher...
收藏 引用
18th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 1991
作者: Mitchell, John Meldal, Sigurd Madhav, Neel Dept. of Computer Science Stanford University StanfordCA94305 United States Dept. of Informatics University of Bergen Bergen Norway
We describe a general module language integrating abstract data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main extensions: subtyping, a for... 详细信息
来源: 评论
Usability testing of a graphical programming system: Things we missed in a programming walkthrough  91
Usability testing of a graphical programming system: Things ...
收藏 引用
1991 SIGCHI conference on Human Factors in Computing Systems, CHI 1991
作者: Bell, Brigham Rieman, John Lewis, Clayton Institute of Cognitive Science University of Colorado Boulder CO 80309 United States Department of Computer Science University of Colorado Boulder CO 80309 United States Center for Advanced Decision Support for Water and Environmental Systems University of Colorado Boulder CO 80309 United States
Traditional programming language design has focussed on efficiency and expressiveness, with minimal attention to the ease with which a programmer can translate task requirements into statements in the language, a char... 详细信息
来源: 评论
Ada and beyond
Ada and beyond
收藏 引用
1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
作者: Habermann, A. Nico Carnegie Mellon University PittsburghPA15213 United States
Ada has introduced some very useful concepts for programming large software systems. In particular, modularity, data encapsulation and generics are extremely useful concepts introduced by Ada in 1980. Since then inter... 详细信息
来源: 评论
CML: A higher concurrent language  91
CML: A higher concurrent language
收藏 引用
proceedings of the acm sigplan 1991 conference on programming language design and implementation
作者: John H. Reppy Cornell University
来源: 评论
design and implementation of a multi-tool Ada front end
Design and implementation of a multi-tool Ada front end
收藏 引用
1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
作者: Bates, Rodney M. Santhanam, Viswa Johnson, Donald E. Boeing Company Defense and Space Group Military Airplanes Division Wichita Branch 3801 S. Oliver WichitaKS67210 United States
来源: 评论
Distribution of Ada tasks onto a heterogeneous environment
Distribution of Ada tasks onto a heterogeneous environment
收藏 引用
1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
作者: Nishida, Haruhiko Itoh, Takumi Nakayama, Ryuji NTT Software Engineering Laboratory NTT Software Laboratories 1-9-1 Kohnan Minato-ku Tokyo108 Japan
This paper describes the design and implementation of an Ada system for heterogeneous distributed embedded targets. It permits a single Ada program to run in a loosely coupled, heterogeneous multi-processor environmen... 详细信息
来源: 评论
proceedings of the conference on TRI-Ada 1991: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
Proceedings of the Conference on TRI-Ada 1991: Today's Accom...
收藏 引用
1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
The proceedings contain 57 papers. The topics discussed include: CAPS as a requirements engineering tool;Ada and CMS-2 cohabitation a transition method for U.S. Navy realtime tactical systems;experiences in developing...
来源: 评论
Dynamic software replacement model and its Ada implementation
Dynamic software replacement model and its Ada implementatio...
收藏 引用
1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
作者: De Vicente, Belén Alonso, Alejandro Amador, Jorge Teice Control General Rodrigo 6 5th MadridE-28003 Spain E.T.S.I de Telecomunicación Ciudad Universitaria Universidad Politécnica Madrid MadridE-28040 Spain GMV S.A. PTM Tres Cantos MadridE-28760 Spain
来源: 评论
SKILL: A CAD system extension language  90
SKILL: A CAD system extension language
收藏 引用
proceedings of the 27th acm/IEEE design Automation conference
作者: Timothy J. Barnes Cadence Design Systems Inc. 555 River Oaks Parkway San Jose California
SKILL is a programming language that supports both command entry and procedural customization in OpusTM design FrameworkTM. After briefly considering some related work, we examine the requirements that motivate the pr...
来源: 评论