咨询与建议

限定检索结果

文献类型

  • 264 篇 会议
  • 2 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 216 篇 工学
    • 209 篇 软件工程
    • 91 篇 计算机科学与技术...
    • 6 篇 电气工程
    • 3 篇 控制科学与工程
    • 2 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 6 篇 理学
    • 5 篇 数学
    • 1 篇 生物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 49 篇 design
  • 39 篇 languages
  • 21 篇 performance
  • 14 篇 algorithms
  • 14 篇 probabilistic pr...
  • 14 篇 verification
  • 12 篇 object oriented ...
  • 11 篇 program synthesi...
  • 11 篇 functional progr...
  • 10 篇 reliability
  • 10 篇 programming lang...
  • 9 篇 concurrency
  • 8 篇 experimentation
  • 8 篇 type systems
  • 8 篇 domain-specific ...
  • 7 篇 java
  • 7 篇 theory
  • 6 篇 program analysis
  • 6 篇 optimization
  • 5 篇 compilers

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 5 篇 harvard univ cam...
  • 5 篇 univ penn philad...
  • 5 篇 stanford univ st...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 univ washington ...
  • 3 篇 microsoft res re...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit cambridge ma...
  • 3 篇 yale univ new ha...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 microsoft corp r...
  • 2 篇 oracle labs pots...

作者

  • 5 篇 foster nate
  • 5 篇 gulwani sumit
  • 5 篇 walker david
  • 4 篇 dillig isil
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 shao zhong
  • 3 篇 su zhendong
  • 3 篇 chaudhuri swarat
  • 3 篇 myers andrew c.
  • 3 篇 zhang xiangyu
  • 3 篇 mansinghka vikas...
  • 2 篇 hirschfeld rober...
  • 2 篇 flatt matthew
  • 2 篇 gupta gagan
  • 2 篇 shull thomas
  • 2 篇 yahav eran
  • 2 篇 rajamani sriram
  • 2 篇 niephaus fabio
  • 2 篇 choi jiho

语言

  • 266 篇 英文
  • 2 篇 中文
检索条件"任意字段=Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation"
268 条 记 录,以下是61-70 订阅
排序:
Gen: A General-Purpose Probabilistic programming System with Programmable Inference  2019
Gen: A General-Purpose Probabilistic Programming System with...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Cusumano-Towner, Marco F. Saad, Feras A. Lew, Alexander K. Mansinghka, Vikash K. MIT Cambridge MA 02139 USA
Although probabilistic programming is widely used for some restricted classes of statistical models, existing systems lack the flexibility and efficiency needed for practical use with more challenging models arising i... 详细信息
来源: 评论
Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples  2017
Component-Based Synthesis of Table Consolidation and Transfo...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Feng, Yu Martins, Ruben Van Geffen, Jacob Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Rice Univ Houston TX 77251 USA
this paper presents a novel component-based synthesis algorithm that marries the power of type-directed search with lightweight SMT-based deduction and partial evaluation. Given a set of components together with their... 详细信息
来源: 评论
Defining the Undefinedness of C  15
Defining the Undefinedness of C
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Hathhorn, Chris Ellison, Chucky Rosu, Grigore Univ Missouri Columbia MO 65211 USA Univ Illinois Urbana IL 61801 USA
We present a "negative" semantics of the C11 language-a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss ... 详细信息
来源: 评论
First-class Runtime Generation of High-performance Types using Exotypes  14
First-class Runtime Generation of High-performance Types usi...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: DeVito, Zachary Ritchie, Daniel Fisher, Matt Aiken, Alex Hanrahan, Pat Stanford Univ Stanford CA 94305 USA
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dynamic languages, ex... 详细信息
来源: 评论
Interactive Parser Synthesis by Example  15
Interactive Parser Synthesis by Example
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Leung, Alan Sarracino, John Lerner, Sorin Univ Calif San Diego San Diego CA 92103 USA
Despite decades of research on parsing, the construction of parsers remains a painstaking, manual process prone to subtle bugs and pitfalls. We present a programming-by-example framework called Parsify that is able to... 详细信息
来源: 评论
An Applied Quantum Hoare Logic  2019
An Applied Quantum Hoare Logic
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Zhou, Li Yu, Nengkun Ying, Mingsheng Tsinghua Univ Dept Comp Sci & Technol Beijing Peoples R China Univ Technol Sydney CQSI FEIT Sydney NSW Australia Chinese Acad Sci Inst Software Beijing Peoples R China Tsinghua Univ Beijing Peoples R China
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: (1) restricting QHL to a special class of preconditions and postconditions, namely projections, which can sign... 详细信息
来源: 评论
Program Synthesis from Polymorphic Refinement Types  16
Program Synthesis from Polymorphic Refinement Types
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Polikarpova, Nadia Kuraj, Ivan Solar-Lezama, Armando MIT CSAIL Cambridge MA USA
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for prog... 详细信息
来源: 评论
Experience Report: seL4 Formally Verifying a High-Performance Microkernel
Experience Report: seL4 Formally Verifying a High-Performanc...
收藏 引用
14th acm sigplan International conference on Functional programming
作者: Klein, Gerwin Derrin, Philip Elphinstone, Kevin NICTA University of NSW Australia NICTA Australia
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. the verification connects an abstract operational specification in the theorem prov... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Once upon a polymorphic type
Conference Record of the Annual ACM Symposium on Principles ...
收藏 引用
conference Record of the Annual acm Symposium on Principles of programming languages 1999年 15-28页
作者: Wansbrough, Keith Jones, Simon Peyton Univ of Cambridge Cambridge United Kingdom
We present a sound type-based `usage analysis' for a realistic lazy functional language. Accurate information on the usage of program subexpressions in a lazy functional language permits a compiler to perform a nu... 详细信息
来源: 评论