咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
FunTAL: Reasonably Mixing a Functional language with Assembly  2017
FunTAL: Reasonably Mixing a Functional Language with Assembl...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Patterson, Daniel Perconti, Jamie Dimoulas, Christos Ahmed, Amal Northeastern Univ Boston MA 02115 USA Harvard Univ Cambridge MA 02138 USA
We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix. A cent... 详细信息
来源: 评论
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-Place Array Updates  2017
Futhark: Purely Functional GPU-Programming with Nested Paral...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Henriksen, Troels Serup, Niels G. W. Elsman, Martin Henglein, Fritz Oancea, Cosmin E. Univ Copenhagen DIKU Dept Comp Sci Copenhagen Denmark
Futhark is a purely functional data-parallel array language that offers a machine-neutral programming model and an optimising compiler that generates OpenCL code for GPUs. this paper presents the design and implementa... 详细信息
来源: 评论
SKILL: A CAD system extension language
SKILL: A CAD system extension language
收藏 引用
27th acm/IEEE design Automation conference
作者: Barnes, Timothy J. Cadence Design Systems Inc San Jose CA USA
SKILL is a programming language that supports both command entry and procedural customization in the Opus design Framework. the author examines the requirements that motivate the provision of a programming language av... 详细信息
来源: 评论
Inferring Type Rules for Syntactic Sugar  2018
Inferring Type Rules for Syntactic Sugar
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Pombrio, Justin Krishnamurthi, Shriram Brown Univ Providence RI 02912 USA
Type systems and syntactic sugar are both valuable to programmers, but sometimes at odds. While sugar is a valuable mechanism for implementing realistic languages, the expansion process obscures program source structu... 详细信息
来源: 评论
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling  2017
Compiling Markov Chain Monte Carlo Algorithms for Probabilis...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Huang, Daniel Tristan, Jean-Baptiste Morrisett, Greg Harvard Univ Cambridge MA 02138 USA Oracle Labs Burlington MA USA Cornell Univ Ithaca NY USA
the problem of probabilistic modeling and inference, at a high-level, can be viewed as constructing a (model, query, inference) tuple, where an inference algorithm implements a query on a model. Notably, the derivatio... 详细信息
来源: 评论
Type-and-Example-Directed Program Synthesis  15
Type-and-Example-Directed Program Synthesis
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Osera, Peter-Michael Zdancewic, Steve Univ Penn Philadelphia PA 19104 USA
this paper presents an algorithm for synthesizing recursive functions that process algebraic datatypes. It is founded on proof-theoretic techniques that exploit both type information and input-output examples to prune... 详细信息
来源: 评论
Bringing the Web up to Speed with WebAssembly  2017
Bringing the Web up to Speed with WebAssembly
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Haas, Andreas Rossberg, Andreas Schuff, Derek L. Titzer, Ben L. Holman, Michael Gohman, Dan Wagner, Luke Zakai, Alon Bastien, J. F. Google GmbH Hamburg Germany Google Inc Mountain View CA USA Microsoft Inc Redmond WA USA Mozilla Inc Mountain View CA USA Apple Inc Cupertino CA USA
the maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code o... 详细信息
来源: 评论
Profile- Guided Meta-programming  15
Profile- Guided Meta-Programming
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Bowman, William J. Miller, Swaha St-Amour, Vincent Dybvig, R. Kent Northeastern Univ Boston MA 02115 USA Cisco Syst Inc San Jose CA USA
Contemporary compiler systems such as GCC,. NET, and LLVM incorporate profile-guided optimizations (PGOs) on low-level intermediate code and basic blocks, with impressive results over purely static heuristics. Recent ... 详细信息
来源: 评论
Network Configuration Synthesis with Abstract Topologies  2017
Network Configuration Synthesis with Abstract Topologies
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Beckett, Ryan Mahajan, Ratul Millstein, Todd Padhye, Jitendra Walker, David Princeton Univ Princeton NJ 08544 USA Intentionet Redmond WA USA Microsoft Redmond WA USA Univ Calif Los Angeles Los Angeles CA 90024 USA
We develop Propane/AT, a system to synthesize provablycorrect BGP (border gateway protocol) configurations for large, evolving networks from high-level specifications of topology, routing policy, and fault-tolerance r... 详细信息
来源: 评论
Recaf: Java Dialects as Libraries  2016
Recaf: Java Dialects as Libraries
收藏 引用
15th acm International conference on Generative programming - Concepts and Experiences (GPCE)
作者: Biboudis, Aggelos Inostroza, Pablo van der Storm, Tijs CWI Amsterdam Netherlands Univ Athens Athens Greece Univ Groningen Groningen Netherlands
Mainstream programming languages like Java have limited support for language extensibility. Without mechanisms for syntactic abstraction, new programming styles can only be embedded in the form of libraries, limiting ... 详细信息
来源: 评论