咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1151-1160 订阅
排序:
A logic programming tool for qualitative system design  86
A logic programming tool for qualitative system design
收藏 引用
proceedings of the international conference on APL
作者: Gert L. Moller Bang & Olufsen DK - 7600 Struer Denmark
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference...
来源: 评论
design: A financial modelling system  85
Design: A financial modelling system
收藏 引用
1985 International conference on APL: APL and the Future, APL 1985
作者: Appleyard, Fred Hui, Roger Alberta Energy Company Limited 1200 10707 - 100 Avenue EdmontonABT5J 3M1 Canada
A non-procedural financial modelling system is presented. The financial models can be deterministic or probabilistic. Some issues in the design and implementation of this system are discussed. © 1985 acm.
来源: 评论
PARALLEL programming IN LINDA.
PARALLEL PROGRAMMING IN LINDA.
收藏 引用
proceedings of the 1985 International conference on Parallel Processing.
作者: Gelernter, David Carriero, Nicholas Chandran, Sarat Chang, Silva Yale Univ New Haven CT USA Yale Univ New Haven CT USA
The programming style suggested by the parallel language Linda, and the ways in which Linda's style differs from what is natural to most other parallel languages, is discussed. In most other languages, shared data... 详细信息
来源: 评论
An implementation of Anna  85
An implementation of Anna
收藏 引用
1985 Annual acm SIGAda International conference on Ada, SIGAda 1985
作者: Sankar, Sriram Rosenblum, David Neff, Randall Program Analysis and Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States
Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal - m... 详细信息
来源: 评论
ABSTRACT MACHINE DATA STRUCTURE FOR NON-PROCEDURAL FUNCTIONAL MODELS.
ABSTRACT MACHINE DATA STRUCTURE FOR NON-PROCEDURAL FUNCTIONA...
收藏 引用
22nd acm/IEEE design Automation conference, DAC 1985
作者: Zara, Robert V. Rose, Kevin Nurie, Ghulam Sarin, Harish Tektronix Inc Sunnyvale CA USA Tektronix Inc Sunnyvale CA USA
The implementation of a nonprocedural functional modeling language (FML) is considered. The authors describe a compiler, an abstract machine builder, an abstract machine evaluator, and a host simulator interface, whic... 详细信息
来源: 评论
EFFICIENT TRANSLATION OF SETL PROGRAMS.
EFFICIENT TRANSLATION OF SETL PROGRAMS.
收藏 引用
proceedings of the Eighteenth Hawaii International conference on System Sciences 1985. Volume 3: Medical Information Processing. proceedings of the Hawaii International conference on System Science 18th, Distributed by Western Periodicals Co
作者: Doberkat, Ernst E. Clarkson Univ Dep of Mathematics & Computer Science Potsdam NY USA Clarkson Univ Dep of Mathematics & Computer Science Potsdam NY USA
Author describes two experiments in constructing efficient versions from SETL programs in order to quantitatively demonstrate SETL's power as a language for rapid prototyping. The target language is LITTLE, SETL&#... 详细信息
来源: 评论
PROLOG AS A SYSTEM design TOOL.
PROLOG AS A SYSTEM DESIGN TOOL.
收藏 引用
proceedings of the Sixteenth Hawaii International conference on System Sciences 1983. proceedings of the Hawaii International conference on System Science 16th, Distributed by Western Periodicals Co
作者: Dwiggins, Don Logicon Inc Operating Systems Div USA Logicon Inc Operating Systems Div USA
The Prolog programming language originated as an outgrowth of the work in automatic theorem proving. It comprises an almost purely declarative syntax and semantics based on a form of the first-order predicate calculus... 详细信息
来源: 评论
programming aspects of VLSI  82
Programming aspects of VLSI
收藏 引用
9th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 1982
作者: Lipton, Richard J. Sedgewick, Robert Valdes, Jacobo Department of Electrical Engineering and Computer Science Princeton University PrincetonNJ United States Computer Science Department Brown University ProvidenceRI United States
Two components of a VLSI design environment being built at Princeton are described. The general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is... 详细信息
来源: 评论
design considerations of a micro-based APL  82
Design considerations of a micro-based APL
收藏 引用
1982 International conference on APL, APL 1982
作者: Wilson, J.C. Wilkinson, T.A. Computer Systems Group University of Waterloo WaterlooONN2L3G1 Canada
This paper discusses some of the decisions involved in the creation of Waterloo microAPL. It describes the goals of the project and some of the concerns with respect to a sucessful implementation. An explanation of th...
来源: 评论
DOCUMENTATION PRODUCTION FROM A FORMAL DATABASE.  82
DOCUMENTATION PRODUCTION FROM A FORMAL DATABASE.
收藏 引用
conference proceedings - International conference on Systems Documentation.
作者: Hartsough, Christopher Yamamoto, Yuzo Callender, E.David Jet Propulsion Laboratory California Institute of Technology
This paper reports on an existing, operational prototype system, TG/TF2, for the generation of typeset quality documentation from a formal database. TG/TF2 directly supports the conceptual separation of system design,... 详细信息
来源: 评论