咨询与建议

限定检索结果

文献类型

  • 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

语言

  • 547 篇 英文
  • 20 篇 其他
检索条件"任意字段=2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 05"
567 条 记 录,以下是121-130 订阅
排序:
Facile: A language and compiler for high-performance processor simulators  01
Facile: A language and compiler for high-performance process...
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Schnarr, EC Hill, MD Larus, JR QUIQ Inc Madison WI 53711 USA Univ Wisconsin Madison WI 53706 USA Microsoft Corp Res Redmond WA 98052 USA
Architectural simulators are essential tools for computer architecture and systems research and development. Simulators, however, are becoming frustratingly slow, because they must now model increasingly complex micro... 详细信息
来源: 评论
FlashExtract: A Framework for Data Extraction by Examples  14
FlashExtract: A Framework for Data Extraction by Examples
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Le, Vu Gulwani, Sumit Univ Calif Davis Davis CA 95616 USA Microsoft Res Redmond Redmond WA USA
Various document types that combine model and view (e. g., text files, webpages, spreadsheets) make it easy to organize (possibly hierarchical) data, but make it difficult to extract raw data for any further manipulat... 详细信息
来源: 评论
From Folklore to Fact: Comparing implementations of Stacks and Continuations  2020
From Folklore to Fact: Comparing Implementations of Stacks a...
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Farvardin, Kavon Reppy, John Univ Chicago Comp Sci Chicago IL 60637 USA
The efficient implementation of function calls and non-local control transfers is a critical part of modern language implementations and is important in the implementation of everything from recursion, higher-order fu... 详细信息
来源: 评论
Reusable Inline Caching for JavaScript Performance  2019
Reusable Inline Caching for JavaScript Performance
收藏 引用
40th acm sigplan conference on programming language design and implementation (pldi) part of acm's Federated Computing Research conference (FCRC)
作者: Choi, Jiho Shull, Thomas Torrellas, Josep Univ Illinois Champaign IL 61820 USA
JavaScript performance is paramount to a user's browsing experience. Browser vendors have gone to great lengths to improve JavaScript's steady-state performance. This has led to sophisticated web applications.... 详细信息
来源: 评论
Member lookup algorithm for C++
Member lookup algorithm for C++
收藏 引用
Proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, pldi
作者: Ramalingam, G. Srinivasan, Harini IBM T.J. Watson Research Cent Yorktown Heights United States
The member lookup problem in C++ is the problem of resolving a specified member name in the context of a specified class. Member lookup in C++ is complicated by the presence of virtual inheritance and multiple inherit... 详细信息
来源: 评论
Generational stack collection and profile-driven pretenuring
Generational stack collection and profile-driven pretenuring
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, pldi
作者: Cheng, Perry Harper, Robert Lee, Peter Carnegie Mellon Univ Pittsburgh United States
Two techniques for improving garbage collection were presented, namely, generational stack collection and profile-driven pretenuring. The first is applicable to stack based implementations of functional languages whil... 详细信息
来源: 评论
CompCertO: Compiling Certified Open C Components  2021
CompCertO: Compiling Certified Open C Components
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Koenig, Jeremie Shao, Zhong Yale Univ New Haven CT 06520 USA
Since the introduction of CompCert, researchers have been refining its language semantics and correctness theorem, and used them as components in software verification efforts. Meanwhile, artifacts ranging from CPU de... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Dynamo: A transparent dynamic optimization system
Dynamo: A transparent dynamic optimization system
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (pldi)
作者: Bala, V Duesterwald, E Banerjia, S Hewlett Packard Labs Cambridge MA 02142 USA
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stream as it executes on the processor. Th... 详细信息
来源: 评论
A Lightweight Symbolic Virtual Machine for Solver-Aided Host languages  14
A Lightweight Symbolic Virtual Machine for Solver-Aided Host...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Torlak, Emina Bodik, Rastislav Univ Calif Berkeley Berkeley CA 94608 USA
Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided programming systems. They ease the construction of programs by using satisfiability solvers to automate tasks such as verification... 详细信息
来源: 评论