咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

  • 931 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是851-860 订阅
排序:
CML: A higher-order concurrent language
CML: A higher-order concurrent language
收藏 引用
1991 acm sigplan 1991 conference on programming language design and implementation, PLDI 1991
作者: Reppy, John H. Cornell University United States
来源: 评论
CML. A higher-order concurrent language
CML. A higher-order concurrent language
收藏 引用
Proceedings of the acm sigplan '91 conference on programming language design and implementation
作者: Reppy, John H.
来源: 评论
Practical dependence testing  91
Practical dependence testing
收藏 引用
1991 acm sigplan 1991 conference on programming language design and implementation, PLDI 1991
作者: Goff, Gina Kennedy, Ken Tseng, Chau-Wen Department of Computer Science Rice University HoustonTX77251-1892 United States
Precise and efficient dependence tests are essential to the effectiveness of a parallelizing compiler. This paper proposes a dependence testing scheme based on classifying pairs of subscripted variable references. Exa... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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
来源: 评论
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
acm sigplan 1990 conference on programming language design and implementation, PLDI 1990
The proceedings contain 29 papers. The topics discussed include: improving register allocation for subscripted variables;profile guided code positioning;fast breakpoints: design and implementation;representing control...
来源: 评论
Proceedings of the acm sigplan '90 conference on programming language design and implementation
Proceedings of the ACM SIGPLAN '90 Conference on Programming...
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
This conference proceedings contains 30 papers. The main subjects are code generation, code positioning, register allocation, representing control, program optimization, floating-point numbers accurately, optimizing d... 详细信息
来源: 评论
REGISTER ALLOCATION ACROSS PROCEDURE AND MODULE BOUNDARIES  90
REGISTER ALLOCATION ACROSS PROCEDURE AND MODULE BOUNDARIES
收藏 引用
1990 CONF OF THE SPECIAL INTEREST GROUP ON programming languageS OF THE ASSOC FOR COMPUTING MACHINERY : programming language design AND implementation
作者: SANTHANAM, V ODNERT, D HEWLETT PACKARD CO CALIF LANGUAGE LABCUPERTINOCA 95014
This paper describes a method for compiling programs using interprocedural register allocation. A strategy for handling programs built from multiple modules is presented, as well as algorithms for global variable prom... 详细信息
来源: 评论
design, implementation and evaluation of the FNC-2 attribute grammar system  90
Design, implementation and evaluation of the FNC-2 attribute...
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Jourdan, Martin Parigot, Didier Julie, Catherine Durin, Olivier Le Bellec, Carole INRIA Le Chesnay France
FNC-2 is a new attribute grammar processing system aiming at expressive power, efficiency, ease of use and versatility. Its development at INRIA started in 1986, and a first running prototype is available since early ... 详细信息
来源: 评论