咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
FAST: a Transducer-Based language for Tree Manipulation  14
FAST: a Transducer-Based Language for Tree Manipulation
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: D'Antoni, Loris Veanes, Margus Livshits, Benjamin Molnar, David Univ Penn Philadelphia PA 19104 USA
Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking. While these formalisms are of immense practical use, they can only mo... 详细信息
来源: 评论
From Datalog to FLIX: A Declarative language for Fixed Points on Lattices  16
From Datalog to FLIX: A Declarative Language for Fixed Point...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Madsen, Magnus Yee, Ming-Ho Lhotak, Ondrej Univ Waterloo Waterloo ON N2L 3G1 Canada
We present FLIX, a declarative programming language for specifying and solving least fixed point problems, particularly static program analyses. FLIX is inspired by Datalog and extends it with lattices and monotone fu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
REGISTER ALLOCATION ACROSS PROCEDURE AND MODULE BOUNDARIES  90
REGISTER ALLOCATION ACROSS PROCEDURE AND MODULE BOUNDARIES
收藏 引用
1990 CONF OF THE SPECIAL INTEREST GROUP ON programming languageS OF THE ASSOC FOR COMPUTING MACHINERY : programming language design AND implementation
作者: SANTHANAM, V ODNERT, D HEWLETT PACKARD CO CALIF LANGUAGE LABCUPERTINOCA 95014
This paper describes a method for compiling programs using interprocedural register allocation. A strategy for handling programs built from multiple modules is presented, as well as algorithms for global variable prom... 详细信息
来源: 评论
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... 详细信息
来源: 评论
SPPL: Probabilistic programming with Fast Exact Symbolic Inference  2021
SPPL: Probabilistic Programming with Fast Exact Symbolic Inf...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Saad, Feras A. Rinard, Martin C. Mansinghka, Vikash K. MIT 77 Massachusetts Ave Cambridge MA 02139 USA
We present the Sum-Product Probabilistic language (SPPL), a new probabilistic programming language that automatically delivers exact solutions to a broad range of probabilistic inference queries. SPPL translates proba... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Reactive Probabilistic programming  2020
Reactive Probabilistic Programming
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Baudart, Guillaume Mandel, Louis Atkinson, Eric Sherman, Benjamin Pouzet, Marc Carbin, Michael IBM Res MIT IBM Watson AI Lab Armonk NY 10504 USA MIT Cambridge MA 02139 USA PSL Res Univ Ecole Normale Super Paris France
Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or SCADE used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, t... 详细信息
来源: 评论