咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Simple translation of goal-directed evaluation
Simple translation of goal-directed evaluation
收藏 引用
Proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, pldi
作者: Proebsting, Todd A. Univ of Arizona Tucson United States
This paper presents a simple, powerful and flexible technique for reasoning about and translating the goal-directed evaluation of programming language constructs that either succeed (and generate sequences of values) ... 详细信息
来源: 评论
λPSI: Exact Inference for Higher-Order Probabilistic Programs  2020
λPSI: Exact Inference for Higher-Order Probabilistic Progra...
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Gehr, Timon Steffen, Samuel Vechev, Martin Swiss Fed Inst Technol Zurich Switzerland
We present lambda PSI, the first probabilistic programming language and system that supports higher-order exact inference for probabilistic programs with first-class functions, nested inference and discrete, continuou... 详细信息
来源: 评论
Terra: A Multi-Stage language for High-Performance Computing
Terra: A Multi-Stage Language for High-Performance Computing
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: DeVito, Zachary Hegarty, James Aiken, Alex Hanrahan, Pat Vitek, Jan Stanford Univ Stanford CA 94305 USA Purdue Univ W Lafayette IN 47907 USA
High-performance computing applications, such as auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance and portability. However, these systems are often imple... 详细信息
来源: 评论
Asynchronous Functional Reactive programming for GUIs
Asynchronous Functional Reactive Programming for GUIs
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Czaplicki, Evan Chong, Stephen Harvard Univ Cambridge MA 02138 USA
Graphical user interfaces (GUIs) mediate many of our interactions with computers. Functional Reactive programming (FRP) is a promising approach to GUI design, providing high-level, declarative, compositional abstracti... 详细信息
来源: 评论
Related field analysis  01
Related field analysis
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Aggarwal, A Randall, KH Univ Maryland College Pk MD 20742 USA
We present an extension of field analysis (see [4]) called related field analysis which is a general technique for proving relationships between two or more fields of an object. We demonstrate the feasibility and appl... 详细信息
来源: 评论
Field analysis: Getting useful and low-cost interprocedural information
Field analysis: Getting useful and low-cost interprocedural ...
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (pldi)
作者: Ghemawat, S Randall, KH Scales, DJ Google Inc. Mountain View CA 94043 2400 Bayshore Parkway United States
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as object-oriented programming, automatic memory mana... 详细信息
来源: 评论
Dynamic variables  01
Dynamic variables
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Hanson, DR Proebsting, TA Microsoft Corp Res Redmond WA 98052 USA
Most:programming languages use static scope rules for associating uses of identifiers with their declarations. Static scope helps catch errors at compile time, and it can be implemented efficiently. Some popular langu... 详细信息
来源: 评论
Resugaring: Lifting Evaluation Sequences through Syntactic Sugar  14
Resugaring: Lifting Evaluation Sequences through Syntactic S...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Pombrio, Justin Krishnamurthi, Shriram Brown Univ Providence RI 02912 USA
Syntactic sugar is pervasive in language technology. It is used to shrink the size of a core language;to define domain-specific languages;and even to let programmers extend their language. Unfortunately, syntactic sug... 详细信息
来源: 评论
Bayonet: Probabilistic Inference for Networks  2018
Bayonet: Probabilistic Inference for Networks
收藏 引用
39th acm sigplan conference on programming language design and implementation (pldi)
作者: Gehr, Timon Misailovic, Sasa Tsankov, Petar Vanbever, Laurent Wiesmann, Pascal Vechev, Martin Swiss Fed Inst Technol Zurich Switzerland UIUC Champaign IL USA
Network operators often need to ensure that important probabilistic properties are met, such as that the probability of network congestion is below a certain threshold. Ensuring such properties is challenging and requ... 详细信息
来源: 评论
Code Completion with Statistical language Models  14
Code Completion with Statistical Language Models
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Raychev, Veselin Vechev, Martin Yahav, Eran Swiss Fed Inst Technol Zurich Switzerland Technion Haifa Israel
We address the problem of synthesizing code completions for programs using APIs. Given a program with holes, we synthesize completions for holes with the most likely sequences of method calls. Our main idea is to redu... 详细信息
来源: 评论