咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,231 篇 电子文献
  • 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,153 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1231 条 记 录,以下是971-980 订阅
排序:
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... 详细信息
来源: 评论
ELIMINATING BRANCHES USING A SUPEROPTIMIZER AND THE GNU C COMPILER
ELIMINATING BRANCHES USING A SUPEROPTIMIZER AND THE GNU C CO...
收藏 引用
CONF ON programming language design AND implementation ( acm sigplan 92 )
作者: GRANLUND, T KENNER, R SWEDISH INST COMP SCI LOG PROGRAMMING & PARALLEL SYST LABS-16428 KISTASWEDEN NYU ULTRACOMP RES LABNEW YORKNY 10003
This paper describes an alternative technique for constructing a superoptimizer, which is called the Superoptimizer or GSO. Some sample results of the superoptimizer are presented. The basic design and structure of th... 详细信息
来源: 评论
Parallel programming in SR
Parallel programming in SR
收藏 引用
proceedings of the 1992 International conference on Computer languages
作者: Bal, Henri E. Dept of Math & Comput Sci Vrije Univ Amsterdam Netherlands
Synchronizing Resources (SR) is a language for writing distributed programs which supports many forms of interprocess communication to obtain high expressiveness. The design of SR is evaluated from the perspective of ... 详细信息
来源: 评论
DROL - AN OBJECT-ORIENTED programming language FOR DISTRIBUTED REAL-TIME SYSTEMS
DROL - AN OBJECT-ORIENTED PROGRAMMING LANGUAGE FOR DISTRIBUT...
收藏 引用
7th conference on Object-Oriented programming Systems, languages, and Applications (OOPSLA 92)
作者: TAKASHIO, K TOKORO, M KEIO UNIV DEPT COMP SCIKOHOKU KUYOKOHAMAKANAGAWA 223JAPAN
In this paper, we first characterize distributed real-time systems by the following two properties that have to be supported: best effort and least suffering. Then, we propose a distributed real-time object model DRO ... 详细信息
来源: 评论
Customizable substrate for concurrent languages
Customizable substrate for concurrent languages
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Jagannathan, Suresh Philbin, Jim NEC Research Inst Princeton NJ United States
We describe an approach to implementing a wide-range of concurrency paradigms in high-level (symbolic) programming languages. The focus of our discussion is STING, a dialect of Scheme, that supports lightweight thread... 详细信息
来源: 评论
Process of object-oriented design
Process of object-oriented design
收藏 引用
conference on Object-Oriented programming Systems, languages, and Applications - OOPSLA'92
作者: de Champeaux, Dennis Lea, Doug Faure, Penelope HP-Lab Palo Alto United States
The object-oriented design process is investigated within the classic software development classification of Analysis, design, and implementation. When all development is performed using object oriented methods, OOD i... 详细信息
来源: 评论
Avoiding unconditional jumps by code replication
Avoiding unconditional jumps by code replication
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Mueller, Frank Whalley, David B. Florida State Univ Tallahassee FL United States
This study evaluates a global optimization technique that avoids unconditional jumps by replicating code. When implemented in the back-end of an optimizing compiler, this technique can be generalized to work on almost... 详细信息
来源: 评论
Composable attribute grammars: Support for modularity in translator design and implementation
Composable attribute grammars: Support for modularity in tra...
收藏 引用
19th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'92
作者: Farrow, R. Marlowe, T.J. Yellin, D.M. Declarative Systems Inc
This paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to co... 详细信息
来源: 评论
IMPLEMENTING DENOTATIONAL SEMANTICS WITH LOGIC programming  92
IMPLEMENTING DENOTATIONAL SEMANTICS WITH LOGIC PROGRAMMING
收藏 引用
20TH ANNUAL COMPUTER SCIENCE SYMP
作者: SLONNEGER, K The University of Iowa Iowa City Iowa
Denotational specifications of programming languages are translated into Prolog, which provides a mechanism for parsing languages. Denotational semantic functions are expressed as Prolog relations, providing an execut... 详细信息
来源: 评论