咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是961-970 订阅
排序:
proceedings of the 1992 acm conference on Lisp and Functional
Proceedings of the 1992 ACM Conference on Lisp and Functiona...
收藏 引用
proceedings of the 1992 acm conference on Lisp and Functional programming
The conference materials contain 33 papers. The topics covered include compiling lazy pattern matching, garbage collection, parsers in ML, interactive modular programming, finiteness conditions for fixed point iterati... 详细信息
来源: 评论
Abstract machine for CLP(R)
Abstract machine for CLP(R)
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Jaffar, Joxan Stuckey, Peter J. Michaylov, Spiro Yap, Roland H.C. IBM Yorktown Heights NY United States
An abstract machine is described for the CLP(R) programming language. It is intended as a first step towards enabling CLP(R) programs to be executed with efficiency approaching that of conventional languages. The core... 详细信息
来源: 评论
proceedings of the 1992 International conference on Computer languages
Proceedings of the 1992 International Conference on Computer...
收藏 引用
proceedings of the 1992 International conference on Computer languages
This conference proceedings contains 34 papers. The following topics are dealt with: abstract interpretation;parallel languages;language implementation;multiparadigm languages;distributed languages;and object-oriented... 详细信息
来源: 评论
General framework for iteration-reordering loop transformations
General framework for iteration-reordering loop transformati...
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Sarkar, Vivek Thekkath, Radhika IBM Palo Alto CA United States
This paper describes a general framework for representing iteration-reordering transformations. These transformations can be both matrix-based and non-matrix-based. Transformations are defined by rules for mapping dep... 详细信息
来源: 评论
Fast parallel implementation of lazy languages - the EQUALS experience
Fast parallel implementation of lazy languages - the EQUALS ...
收藏 引用
proceedings of the 1992 acm conference on Lisp and Functional programming
作者: Kaser, O. Pawagi, S. Ramakrishnan, C.R. Ramakrishnan, I.V. Sekar, R.C. SUNY at Stony Brook Stony Brook United States
This paper describes EQUALS, a fast parallel implementation of a lazy functional language on a commercially available shared-memory parallel machine, the Sequent Symmetry. In contrast to previous implementations, we d... 详细信息
来源: 评论
Safe approximate algorithm for interprocedural pointer aliasing
Safe approximate algorithm for interprocedural pointer alias...
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Landi, William Ryder, Barbara G. Rutgers Univ New Brunswick NJ United States
During execution, when two or more names exist for the same location at some program point, we call them aliases. In a language which allows arbitrary pointers, the problem of determining aliases at a program point is... 详细信息
来源: 评论
Probabilistic register allocation
Probabilistic register allocation
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Proebsting, Todd A. Fischer, Charles N. Univ of Wisconsin-Madison WI United States
A new global register allocation technique, probabilistic register allocation, is described. Probabilistic register allocation quantifies the costs and benefits of allocating variables to registers over live ranges so... 详细信息
来源: 评论
Full functional programming in a declarative ada dialect
Full functional programming in a declarative ada dialect
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Bailes, Paul A. Johnston, Dan Salzman, Eric Wang, Li Language Design Laboratory Key Centre for Software Technology Department of Computer Science University of Queensland QLD4072 Australia
Functional-style programming and languages have an important role to play in the software life cycle, but for a variety of technical and organisational reasons are of limited utility until they are integrated with exi... 详细信息
来源: 评论
design and implementation of HoME
Design and implementation of HoME
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Ogata, Kazuhiro Kurihara, Satoshi Inari, Mikio Doi, Norihisa Keio Univ Yokohama Japan
HoME is a version of Smalltalk which can be efficiently executed on a multiprocessor and can be executed in parallel by combining a Smalltalk process with a Mach thread and executing the process on the thread. HoME is... 详细信息
来源: 评论
Lazy code motion
Lazy code motion
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Knoop, Jens Ruething, Oliver Steffen, Bernhard Christian-Albrechts-Univ Kiel Germany
We present a bit-vector algorithm for the optimal and economical placement of computations within flow graphs, which is as efficient as standard uni-directional analyses. The point of our algorithm is the decompositio... 详细信息
来源: 评论