咨询与建议

限定检索结果

文献类型

  • 1,096 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,228 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 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 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,150 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1228 条 记 录,以下是1031-1040 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论