咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 130 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 802 篇 工学
    • 787 篇 软件工程
    • 528 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 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 篇 univ washington ...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 aiken alex
  • 9 篇 chlipala adam
  • 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 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
904 条 记 录,以下是61-70 订阅
排序:
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-... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Improving on the Experience of Hand-Assembling Programs for Application-Specific Architectures  21
Improving on the Experience of Hand-Assembling Programs for ...
收藏 引用
5th International conference on the Art, Science, and Engineering of programming (programming)
作者: Piumarta, Ian Kyoto Univ Adv Sci Kyoto Japan
Creating an application-specific processor is an effective and popular way to solve many problems in embedded hardware design using FPGAs, ASICs, or custom silicon. programming these processors is complicated by the l... 详细信息
来源: 评论
HACCLE: Metaprogramming for Secure Multi-Party Computation  2021
HACCLE: Metaprogramming for Secure Multi-Party Computation
收藏 引用
20th acm sigplan International conference on Generative programming: Concepts and Experiences (GPCE)
作者: Bao, Yuyan Sundararajah, Kirshanthan Malik, Raghav Ye, Qianchuan Wagner, Christopher Jaber, Nouraldin Wang, Fei Ameri, Mohammad Hassan Lu, Donghang Seto, Alexander Delaware, Benjamin Samanta, Roopsha Kate, Aniket Garman, Christina Blocki, Jeremiah Letourneau, Pierre-David Meister, Benoit Springer, Jonathan Rompf, Tiark Kulkarni, Milind Univ Waterloo Waterloo ON Canada Purdue Univ W Lafayette IN 47907 USA Reservoir Labs New York NY USA
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographi... 详细信息
来源: 评论
***: (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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论