咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是971-980 订阅
排序:
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... 详细信息
来源: 评论
Experiences in implementing Ada9X protected records and requeue
Experiences in implementing Ada9X protected records and requ...
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Reed, Paul Department of Computer Science University of York United Kingdom
Ada9x protected records provide an indirect communication method whereby tasks read and write the state of protected objects. The language ensures synchronisation by mutual exclusion for both readers and writers witho... 详细信息
来源: 评论
Control abstraction in parallel programming languages
Control abstraction in parallel programming languages
收藏 引用
proceedings of the 1992 International conference on Computer languages
作者: Crowl, Lawrence A. LeBlanc, Thomas J. Dept of Comput Sci Oregon State Univ Corvallis OR USA
Control abstraction is the process by which programmers define new control constructs, specifying a statement ordering separately from an implementation of that ordering. It is argued that control abstraction can and ... 详细信息
来源: 评论