咨询与建议

限定检索结果

文献类型

  • 515 篇 会议
  • 52 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 524 篇 工学
    • 521 篇 软件工程
    • 325 篇 计算机科学与技术...
    • 25 篇 控制科学与工程
    • 7 篇 信息与通信工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 生物医学工程(可授...
  • 80 篇 理学
    • 73 篇 数学
    • 7 篇 统计学(可授理学、...
    • 5 篇 系统科学
    • 3 篇 化学
    • 1 篇 物理学
    • 1 篇 地质学
    • 1 篇 生物学
  • 36 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 18 篇 工商管理
    • 16 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 87 篇 design
  • 74 篇 languages
  • 66 篇 performance
  • 50 篇 computer program...
  • 38 篇 algorithms
  • 37 篇 computer program...
  • 31 篇 experimentation
  • 24 篇 reliability
  • 24 篇 verification
  • 23 篇 program synthesi...
  • 22 篇 probabilistic pr...
  • 19 篇 java programming...
  • 17 篇 object oriented ...
  • 15 篇 functional progr...
  • 12 篇 c (programming l...
  • 11 篇 computer systems...
  • 11 篇 static analysis
  • 11 篇 language
  • 11 篇 measurement
  • 11 篇 programming lang...

机构

  • 12 篇 carnegie mellon ...
  • 9 篇 univ michigan an...
  • 9 篇 univ wisconsin m...
  • 9 篇 princeton univ p...
  • 8 篇 univ penn philad...
  • 8 篇 purdue univ w la...
  • 8 篇 stanford univ st...
  • 8 篇 univ washington ...
  • 8 篇 univ texas austi...
  • 7 篇 mit cambridge ma...
  • 6 篇 microsoft res re...
  • 6 篇 swiss fed inst t...
  • 6 篇 yale univ new ha...
  • 6 篇 harvard univ cam...
  • 6 篇 cornell univ ith...
  • 5 篇 ibm research
  • 5 篇 microsoft resear...
  • 4 篇 carnegie mellon ...
  • 4 篇 microsoft res re...
  • 4 篇 univ calif davis...

作者

  • 7 篇 dillig isil
  • 6 篇 august david i.
  • 6 篇 gulwani sumit
  • 5 篇 grossman dan
  • 5 篇 aiken alex
  • 5 篇 vechev martin
  • 5 篇 bacon david f.
  • 5 篇 su zhendong
  • 5 篇 lam monica s.
  • 5 篇 chlipala adam
  • 5 篇 myers andrew c.
  • 5 篇 walker david
  • 5 篇 mansinghka vikas...
  • 4 篇 mckinley kathryn...
  • 4 篇 wang xinyu
  • 4 篇 nakatani t
  • 4 篇 cheng perry
  • 4 篇 adl-tabatabai al...
  • 4 篇 gehr timon
  • 4 篇 lueh guei-yuan

语言

  • 548 篇 英文
  • 19 篇 其他
检索条件"任意字段=2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 05"
567 条 记 录,以下是511-520 订阅
排序:
Proceedings of the acm sigplan conference on programming language design and implementation (pldi)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
1995 acm sigplan conference on programming language design and implementation, pldi 1995
The proceedings contain 28 papers. The topics discussed include: efficient building and placing of gating functions;avoiding conditional branches by code replication;accurate static branch prediction by value range pr...
来源: 评论
implementation of the data-flow synchronous language signal  95
Implementation of the data-flow synchronous language signal
收藏 引用
1995 acm sigplan conference on programming language design and implementation, pldi 1995
作者: Amagbegnon, Pascalin Besnard, Loic Guetnic, Paul Le IRISA-INRIA Campus de Beaulieu Rennes Cedex350412 France
This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The origi... 详细信息
来源: 评论
CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED  95
CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED
收藏 引用
acm sigplan 95 conference on programming language design and implementation
作者: RUF, E Microsoft Research One Microsoft Way Redmond WA
Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a singl... 详细信息
来源: 评论
Efficient context-sensitive pointer analysis for c programs  95
Efficient context-sensitive pointer analysis for c programs
收藏 引用
1995 acm sigplan conference on programming language design and implementation, pldi 1995
作者: Wilson, Robert P. Lam, Monica S. Computer Systems Laboratory Stanford University CA94305 United States
This paper proposes an efficient technique for con-extsensitive pointer analysis that is applicable to real C programs. For efficiency, we summarize the effects of procedures using partial tran$er func(ions. A partial... 详细信息
来源: 评论
A type-based compiler for standard ML  95
A type-based compiler for standard ML
收藏 引用
1995 acm sigplan conference on programming language design and implementation, pldi 1995
作者: Shao, Zhong Appelt, Andrew W. Yale University United States Princeton University United States
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation work in real compilers, and how much per... 详细信息
来源: 评论
SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED languageS  95
SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED LANGUAGES
收藏 引用
acm sigplan 95 conference on programming language design and implementation
作者: DEAN, J CHAMBERS, C GROVE, D Department of Computer Science and Engineering University of Washington Seattle WA
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing other optimizations. To reduce this overhe... 详细信息
来源: 评论
Proceedings of the acm sigplan'94 conference on programming language design and implementation (pldi)
Proceedings of the ACM SIGPLAN'94 Conference on Programming ...
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (pldi)
The proceedings contain 30 papers on programming languages. Topics include language design, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program o... 详细信息
来源: 评论
On slicing programs with jump statements  94
On slicing programs with jump statements
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (pldi)
作者: Agrawal, Hiralal Bellcore Morristown United States
Program slices have potential uses in many software engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump statements. Two similar algorithms we... 详细信息
来源: 评论
Optimizing dynamically-dispatched calls with run-time type feedback  94
Optimizing dynamically-dispatched calls with run-time type f...
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (pldi)
作者: Holzle, Urs Ungar, David Stanford Univ Stanford CA United States
Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not know which callee will be invoked at run... 详细信息
来源: 评论
Type analysis of Prolog using type graphs  94
Type analysis of Prolog using type graphs
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (pldi)
作者: Van Hentenryck, P. Cortesi, A. Le Charlier, B. Brown Univ Providence United States
Type analysis of Prolog is of primary importance for high-performance compilers, since type information may lead to better indexing and to sophisticated specializations of unification and built-in predicates to name a... 详细信息
来源: 评论