咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,210 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

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

作者

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

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是101-110 订阅
排序:
proceedings of the acm sigplan conference on programming language design and implementation (PLDI)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
37th acm sigplan conference on programming language design and implementation, PLDI 2016
The proceedings contain 48 papers. The topics discussed include: into the depths of C: elaborating the de facto standards;data-driven precondition inference with learned features;Cartesian Hoare logic for verifying k-...
来源: 评论
An Interactive Tutoring System for Learning language Processing and Compiler design  20
An Interactive Tutoring System for Learning Language Process...
收藏 引用
25th conference on Innovation and Technology in Computer Science Education
作者: del Vado Virseda, Rafael Univ Complutense Madrid Madrid Spain
This poster presents an Interactive Tutoring System (ITS) that allows teachers to tutor and evaluate interactively the learning process that the students of a Compiler design course must experience from each theoretic... 详细信息
来源: 评论
Renaissance: Benchmarking Suite for Parallel Applications on the JVM  2019
Renaissance: Benchmarking Suite for Parallel Applications on...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Prokopec, Aleksandar Rosa, Andrea Leopoldseder, David Duboscq, Gilles Tuma, Petr Studener, Martin Bulej, Lubomir Zheng, Yudi Villazon, Alex Simon, Doug Wurthinger, Thomas Binder, Walter Oracle Labs Zurich Switzerland Univ Svizzera Italiana Lugano Switzerland Johannes Kepler Univ Linz Linz Austria Charles Univ Prague Prague Czech Republic Univ Privada Boliviana Colcapirhua Bolivia
Established benchmark suites for the Java Virtual Machine (JVM), such as DaCapo, ScalaBench, and SPECjvm2008, lack workloads that take advantage of the parallel programming abstractions and concurrency primitives offe... 详细信息
来源: 评论
Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs  2019
Incremental Precision-Preserving Symbolic Inference for Prob...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Zhang, Jieyuan Xue, Jingling UNSW Sydney Sch Comp Sci & Engn Sydney NSW Australia
We present ISymb, an incremental symbolic inference framework for probabilistic programs in situations when some loop-manipulated array data, upon which their probabilistic models are conditioned, undergoes small chan... 详细信息
来源: 评论
Characterising Renaming within OCaml's Module System: Theory and implementation  2019
Characterising Renaming within OCaml's Module System: Theory...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Rowe, Reuben N. S. Feree, Hugo Thompson, Simon J. Owens, Scott Univ Kent Sch Comp Canterbury Kent England
We present an abstract, set-theoretic denotational semantics for a significant subset of OCaml and its module system, allowing to reason about the correctness of renaming value bindings. Our semantics captures informa... 详细信息
来源: 评论
GraalSqueak Toward a Smalltalk-Based Tooling Platform for Polyglot programming  16
GraalSqueak Toward a Smalltalk-Based Tooling Platform for Po...
收藏 引用
16th acm sigplan International conference on Managed programming languages and Runtimes (MPLR)
作者: Niephaus, Fabio Felgentreff, Tim Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Oracle Labs Potsdam Germany
Polyglot programming provides software developers with a broader choice in terms of software libraries and frameworks available for building applications. Previous research and engineering activities have focused on l... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Scalable Verification of Probabilistic Networks  2019
Scalable Verification of Probabilistic Networks
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Smolka, Steffen Kumar, Praveen Kahn, David M. Foster, Nate Hsu, Justin Kozen, Dexter Silva, Alexandra Cornell Univ Ithaca NY 14850 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Wisconsin Madison WI USA UCL London England
This paper presents McNetKAT, a scalable tool for verifying probabilistic network programs. McNetKAT is based on a new semantics for the guarded and history-free fragment of Probabilistic NetKAT in terms of finite-sta... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
SCENIC: A language for Scenario Specification and Scene Generation  2019
SCENIC: A Language for Scenario Specification and Scene Gene...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Fremont, Daniel J. Dreossi, Tommaso Ghosh, Shromona Yue, Xiangyu Sangiovanni-Vincentelli, Alberto L. Seshia, Sanjit A. Univ Calif Berkeley Berkeley CA 94720 USA
We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the problems of training a perception system... 详细信息
来源: 评论