咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是351-360 订阅
排序:
Efficient Late Binding of Dynamic Function Compositions  12
Efficient Late Binding of Dynamic Function Compositions
收藏 引用
12th acm sigplan International conference on Software language Engineering (SLE)
作者: Schuetze, Lars Castrillon, Jeronimo Tech Univ Dresden Chair Compiler Construct Dresden Germany
Adaptive software becomes more and more important as computing is increasingly context-dependent. Runtime adaptability can be achieved by dynamically selecting and applying context-specific code. Role-oriented program... 详细信息
来源: 评论
language Transformations in the Classroom  28
Language Transformations in the Classroom
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Cimini, Matteo Mourad, Benjamin Univ Massachusetts Lowell Lowell MA 01854 USA
language transformations are algorithms that take a language specification in input, and return the language specification modified. language transformations are useful for automatically adding features such as subtyp... 详细信息
来源: 评论
How to read floating point numbers accurately  90
How to read floating point numbers accurately
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Clinger, William D. Univ of Oregon
Consider the problem of converting decimal scientific notation for a number into the best binary floating point approximation to that number, for some fixed precision. This problem cannot be solved using arithmetic of... 详细信息
来源: 评论
Post-pass binary adaptation for software-based speculative precomputation
Post-pass binary adaptation for software-based speculative p...
收藏 引用
conference on programming language design and implementation (PLDI 02)
作者: Liao, SSW Wang, PH Wang, H Hoflehner, G Lavery, D Shen, JP
Recently, a number of thread-based prefetching techniques have been proposed. These techniques aim at improving the latency of single-threaded applications by leveraging multithreading resources to perform memory pref... 详细信息
来源: 评论
programming language design and implementation
Programming language design and implementation
收藏 引用
2008 acm sigplan conference on programming language design and implementation 2008, PLDI'08
The proceedings contain 34 papers. The topics discussed include: checking race freedom via linear programming;race directed random testing on concurrent programs;Immix: a mark-region garbage collector with space effic...
来源: 评论
Towards an API for the Real Numbers  2020
Towards an API for the Real Numbers
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Boehm, Hans-J Google Mountain View CA 94043 USA
The real numbers are pervasive, both in daily life, and in mathematics. Students spend much time studying their properties. Yet computers and programming languages generally provide only an approximation geared toward... 详细信息
来源: 评论
Fast code generation using automatically-generated decision trees  90
Fast code generation using automatically-generated decision ...
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Wendt, Alan L. Colorado State Univ Fort Collins United States
Several recent code generators [4,5,6,8] use dagrewriting rules to accomplish both code generation and peephole optimization, and they compile these rules into hard code to generate code quickly. The chop system [6], ... 详细信息
来源: 评论
Mirrors: design principles for meta-level facilities of object-oriented programming languages
Mirrors: Design principles for meta-level facilities of obje...
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Bracha, G Ungar, D Sun Microsyst Inc Santa Clara CA 95054 USA Sun Microsyst Inc Mountain View CA 94043 USA
We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate their implementation. Stratification: m... 详细信息
来源: 评论
Thin locks: Featherweight synchronization for Java
Thin locks: Featherweight synchronization for Java
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Bacon, David F. Konuru, Ravi Murthy, Chet Serrano, Mauricio IBM T.J. Watson Research Cent Yorktown Heights United States
language-supported synchronization is a source of serious performance problems in many Java programs. Even single-threaded applications may spend up to half their time performing useless synchronization due to the thr... 详细信息
来源: 评论
Algorithm specialization in generic programming: Challenges of constrained generics in C++  06
Algorithm specialization in generic programming: Challenges ...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Järvi, Jaakko Gregor, Douglas Willcock, Jeremiah Lumsdaine, Andrew Siek, Jeremy Texas A and M University United States Indiana University United States Rice University United States
Generic programming has recently emerged as a paradigm for developing highly reusable software libraries, most notably in C++. We have designed and implemented a constrained generics extension for C++ to support modul... 详细信息
来源: 评论