咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Gleipnir: Toward Practical Error Analysis for Quantum Programs  2021
Gleipnir: Toward Practical Error Analysis for Quantum Progra...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Tao, Runzhou Shi, Yunong Yao, Jianan Hui, John Chong, Frederic T. Gu, Ronghui Columbia Univ New York NY 10027 USA Univ Chicago Chicago IL 60637 USA Amazon New York NY USA Supertech Chicago IL USA Quantum Circuits Inc Chicago IL USA
Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs is a grand challenge, because the ef... 详细信息
来源: 评论
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types  2021
RefinedC: Automating the Foundational Verification of C Code...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Sammler, Michael Lepigre, Rodolphe Krebbers, Robbert Memarian, Kayvan Dreyer, Derek Garg, Deepak MPI SWS Saarbrucken Germany Radboud Univ Nijmegen Nijmegen Netherlands Univ Cambridge Cambridge England
Given the central role that C continues to play in systems software, and the difficulty of writing safe and correct C code, it remains a grand challenge to develop effective formal methods for verifying C programs. In... 详细信息
来源: 评论
SOAP 2021 - Proceedings of the 10th acm sigplan International Workshop on the State of the Art in Program Analysis, co-located with pldi 2021
SOAP 2021 - Proceedings of the 10th ACM SIGPLAN Internationa...
收藏 引用
10th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2021, co-located with the 42nd acm sigplan International conference on programming language design and implementation, pldi 2021
The proceedings contain 8 papers. The topics discussed include: static analysis for dummies: experiencing LiSA;security and quality: two sides of the same coin?;program analysis for reversible languages;PerfLens: a da...
来源: 评论
Synthesizing Data Structure Refinements from Integrity Constraints  2021
Synthesizing Data Structure Refinements from Integrity Const...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Pailoor, Shankara Wang, Yuepeng Wang, Xinyu Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Penn Philadelphia PA 19104 USA Univ Michigan Ann Arbor MI 48109 USA
implementations of many data structures use several correlated fields to improve their performance;however, inconsistencies between these fields can be a source of serious program errors. To address this problem, we p... 详细信息
来源: 评论
***: (A)Synchronous Reactive Web programming  2020
***: (A)Synchronous Reactive Web Programming
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Berry, Gerard Serrano, Manuel Coll France Paris France UCA INRIA Sophia Antipolis France
We present ***, a synchronous reactive language that adds synchronous concurrency and preemption to JavaScript. Inspired from Esterel, *** simplifies the programming of non-trivial temporal behaviors as found in compl... 详细信息
来源: 评论
λ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... 详细信息
来源: 评论
Silq: A High-Level Quantum language with Safe Uncomputation and Intuitive Semantics  2020
Silq: A High-Level Quantum Language with Safe Uncomputation ...
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Bichsel, Benjamin Baader, Maximilian Gehr, Timon Vechev, Martin Swiss Fed Inst Technol Zurich Switzerland
Existing quantum languages force the programmer to work at a low level of abstraction leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary values from the program state requires e... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The Essence of Bluespec A Core language for Rule-Based Hardware design  2020
The Essence of Bluespec A Core Language for Rule-Based Hardw...
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Bourgeat, Thomas Pit-Claudel, Clement Chlipala, Adam Arvind MIT CSAIL 77 Massachusetts Ave Cambridge MA 02139 USA
The Bluespec hardware-description language presents a significantly higher-level view than hardware engineers are used to, exposing a simpler concurrency model that promotes formal proof, without compromising on perfo... 详细信息
来源: 评论
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... 详细信息
来源: 评论