咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Deriving an Efficient FPGA implementation of a Low Density Parity Check Forward Error Corrector  11
Deriving an Efficient FPGA Implementation of a Low Density P...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Gill, Andy Farmer, Andrew Univ Kansas Lawrence KS 66045 USA
Creating correct hardware is hard. though there is much talk of using formal and semi-formal methods to develop designs and implementations, in practice most implementations are written without the support of any form... 详细信息
来源: 评论
P: Safe Asynchronous Event-Driven programming
P: Safe Asynchronous Event-Driven Programming
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Desai, Ankush Gupta, Vivek Jackson, Ethan Qadeer, Shaz Rajamani, Sriram Zufferey, Damien Microsoft Corp Redmond WA 98052 USA
We describe the design and implementation of P, a domain-specific language to write asynchronous event driven code. P allows the programmer to specify the system as a collection of interacting state machines, which co... 详细信息
来源: 评论
Temporal NetKAT  16
Temporal NetKAT
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Beckett, Ryan Greenberg, Michael Walker, David Princeton Univ Princeton NJ 08544 USA Pomona Coll Claremont CA 91711 USA
Over the past 5-10 years, the rise of software-defined networking (SDN) has inspired a wide range of new systems, libraries, hypervisors and languages for programming, monitoring, and debugging network behavior. Often... 详细信息
来源: 评论
Frenetic: A Network programming language  11
Frenetic: A Network Programming Language
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Foster, Nate Harrison, Rob Freedman, Michael J. Monsanto, Christopher Rexford, Jennifer Story, Alec Walker, David Cornell Univ Ithaca NY 14853 USA Princeton Univ Princeton NJ 08544 USA
Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern featu... 详细信息
来源: 评论
Synthesizing Transformations on Hierarchically Structured Data  16
Synthesizing Transformations on Hierarchically Structured Da...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Yaghmazadeh, Navid Klinger, Christian Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Univ Freiburg Freiburg Germany Rice Univ Houston TX 77251 USA
this paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees ... 详细信息
来源: 评论
Achieving High Coverage for Floating-Point Code via Unconstrained programming  2017
Achieving High Coverage for Floating-Point Code via Unconstr...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Fu, Zhoulai Su, Zhendong Univ Calif Davis Davis CA 95616 USA
Achieving high code coverage is essential in testing, which gives us confidence in code quality. Testing floating-point code usually requires painstaking efforts in handling floating-point constraints, e.g., in symbol... 详细信息
来源: 评论
Experience report: Functional programming in C-Rules
Experience report: Functional programming in C-Rules
收藏 引用
12th acm sigplan International conference on Functional programming
作者: Wazny, Jeremy Constraint Technol Int Melbourne Vic 3000 Australia
C-Rules is a business rules management system developed by Constraint Technologies International(1) (CTI), designed for use in transportation problems. Users define rules describing various aspects of a problem, such ... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
Probabilistic programming with Programmable Inference  2018
Probabilistic Programming with Programmable Inference
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Mansinghka, Vikash K. Schaechtle, Ulrich Handa, Shivam Radul, Alexey Chen, Yutian Rinard, Martin MIT Cambridge MA 02139 USA Google DeepMind London England
We introduce inference metaprogramming for probabilistic programming languages, including new language constructs, a formalism, and the first demonstration of effectiveness in practice. Instead of relying on rigid bla... 详细信息
来源: 评论
Modeling and implementing software architecture with acme and ArchJava  05
Modeling and implementing software architecture with acme an...
收藏 引用
27th International conference on Software Engineering (ICSE 2005)
作者: Abi-Antoun, M Aldrich, J Garlan, D Schmerl, B Nahas, N Tseng, T Carnegie Mellon Univ Inst Software Res Int Pittsburgh PA 15213 USA
We demonstrate a tool to incrementally synchronize an acme architectural model described in the acme Architectural Description language (ADL) with an implementation in ArchJava, an extension of the Java programming la... 详细信息
来源: 评论