咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 136 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 807 篇 工学
    • 792 篇 软件工程
    • 530 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 32 篇 object oriented ...
  • 27 篇 probabilistic pr...
  • 26 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 domain-specific ...
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 9 篇 univ washington ...
  • 8 篇 mit cambridge ma...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 chlipala adam
  • 10 篇 dillig isil
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 mansinghka vikas...
  • 6 篇 bodik rastislav

语言

  • 840 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
919 条 记 录,以下是51-60 订阅
排序:
Web Question Answering with Neurosymbolic Program Synthesis  2021
Web Question Answering with Neurosymbolic Program Synthesis
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Chen, Qiaochu Lamoreaux, Aaron Wang, Xinyu Durrett, Greg Bastani, Osbert Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Michigan Ann Arbor MI 48109 USA Univ Penn Philadelphia PA 19104 USA
In this paper, we propose a new technique based on program synthesis for extracting information from webpages. Given a natural language query and a few labeled webpages, our method synthesizes a program that can be us... 详细信息
来源: 评论
Task Parallel Assembly language for Uncompromising Parallelism  2021
Task Parallel Assembly Language for Uncompromising Paralleli...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Rainey, Mike Newton, Ryan R. Hale, Kyle Hardavellas, Nikos Campanoni, Simone Dinda, Peter Acar, Umut A. Carnegie Mellon Univ Pittsburgh PA 15213 USA Facebook New York NY USA IIT Chicago IL 60616 USA Northwestern Univ Chicago IL 60611 USA
Achieving parallel performance and scalability involves making compromises between parallel and sequential computation. If not contained, the overheads of parallelism can easily outweigh its benefits, sometimes by ord... 详细信息
来源: 评论
Sound Probabilistic Inference via Guide Types  2021
Sound Probabilistic Inference via Guide Types
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Wang, Di Hoffmann, Jan Reps, Thomas Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Wisconsin Madison WI 53706 USA
Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize inference algorithms by incorporating ... 详细信息
来源: 评论
Wire Sorts: A language Abstraction for Safe Hardware Composition  2021
Wire Sorts: A Language Abstraction for Safe Hardware Composi...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Christensen, Michael Sherwood, Timothy Balkind, Jonathan Hardekopf, Ben Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
Effective digital hardware design fundamentally requires decomposing a design into a set of interconnected modules, each a distinct unit of computation and state. However, naively connecting hardware modules leads to ... 详细信息
来源: 评论
Multi-language static code analysis on the LARA framework  10
Multi-language static code analysis on the LARA framework
收藏 引用
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
作者: Teixeira, Gil Bispo, João Correia, Filipe F. Faculty of Engineering University of Porto Porto Portugal Faculty of Engineering University of Porto Inesc Tec Porto Portugal
We propose a mechanism to raise the abstraction level of source-code analysis and robustly support multiple languages. Built on top of the LARA framework, it allows sharing language specifications between LARA source-... 详细信息
来源: 评论
iCoLa: A Compositional Meta-language with Support for Incremental language Development  15
iCoLa: A Compositional Meta-language with Support for Increm...
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Frolich, Damian van Binsbergen, L. Thomas Univ Amsterdam Informat Inst Amsterdam Netherlands
programming languages providing high-level abstractions can increase a programmers' productivity and the safety of a program. language-oriented programming is a paradigm in which domain-specific languages are deve... 详细信息
来源: 评论
Filling Typed Holes with Live GUIs  2021
Filling Typed Holes with Live GUIs
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Omar, Cyrus Moon, David Blinn, Andrew Voysey, Ian Collins, Nick Chugh, Ravi Univ Michigan Ann Arbor MI 48109 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Chicago Chicago IL 60637 USA
Text editing is powerful, but some types of expressions are more naturally represented and manipulated graphically. Examples include expressions that compute colors, music, animations, tabular data, plots, diagrams, a... 详细信息
来源: 评论
language Transformations in the Classroom  28
Language Transformations in the Classroom
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (pldi)
作者: Cimini, Matteo Mourad, Benjamin Univ Massachusetts Lowell Lowell MA 01854 USA
language transformations are algorithms that take a language specification in input, and return the language specification modified. language transformations are useful for automatically adding features such as subtyp... 详细信息
来源: 评论
signatr: A Data-Driven Fuzzing Tool for R  15
signatr: A Data-Driven Fuzzing Tool for R
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Turcotte, Alexi Donat-Bouillud, Pierre Krikava, Filip Vitek, Jan Northeastern Univ Boston MA 02115 USA Czech Tech Univ Prague Czech Republic
The fast-and-loose, permissive semantics of dynamic programming languages limit the power of static analyses. For that reason, soundness is often traded for precision through dynamic program analysis. Dynamic analysis... 详细信息
来源: 评论
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... 详细信息
来源: 评论