咨询与建议

限定检索结果

文献类型

  • 238 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 196 篇 工学
    • 191 篇 软件工程
    • 79 篇 计算机科学与技术...
    • 6 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 控制科学与工程
    • 1 篇 生物工程
  • 6 篇 理学
    • 5 篇 数学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

  • 46 篇 design
  • 38 篇 languages
  • 22 篇 performance
  • 15 篇 algorithms
  • 14 篇 probabilistic pr...
  • 12 篇 verification
  • 12 篇 functional progr...
  • 11 篇 program synthesi...
  • 10 篇 reliability
  • 9 篇 object oriented ...
  • 9 篇 experimentation
  • 9 篇 programming lang...
  • 8 篇 domain-specific ...
  • 8 篇 concurrency
  • 7 篇 type systems
  • 7 篇 java
  • 6 篇 optimization
  • 5 篇 compilers
  • 5 篇 metaprogramming
  • 5 篇 theory

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 5 篇 harvard univ cam...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 univ penn philad...
  • 4 篇 stanford univ st...
  • 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 篇 shao zhong
  • 4 篇 dillig isil
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 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

语言

  • 240 篇 英文
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation"
241 条 记 录,以下是71-80 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Developing a Monadic Type Checker for an Object-Oriented language: An Experience Report  12
Developing a Monadic Type Checker for an Object-Oriented Lan...
收藏 引用
12th acm sigplan International conference on Software language Engineering (SLE)
作者: Castegren, Elias Fernandez-Reyes, Kiko KTH Royal Inst Technol Software & Comp Syst Stockholm Sweden Uppsala Univ Informat Technol Uppsala Sweden
Functional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. Functional abstractions, such as monads, allow a... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis
Fast Algorithms for Dyck-CFL-Reachability with Applications ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Zhang, Qirun Lyu, Michael R. Yuan, Hao Su, Zhendong Chinese Univ Hong Kong Hong Kong Hong Kong Peoples R China Univ Calif Davis Davis CA 95616 USA City Univ Hong Kong Hong Kong Hong Kong Peoples R China
the context-free language (CFL) reachability problem is a well-known fundamental formulation in program analysis. In practice, many program analyses, especially pointer analyses, adopt a restricted version of CFL-reac... 详细信息
来源: 评论
First-class Runtime Generation of High-performance Types using Exotypes  14
First-class Runtime Generation of High-performance Types usi...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: DeVito, Zachary Ritchie, Daniel Fisher, Matt Aiken, Alex Hanrahan, Pat Stanford Univ Stanford CA 94305 USA
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dynamic languages, ex... 详细信息
来源: 评论
An Applied Quantum Hoare Logic  2019
An Applied Quantum Hoare Logic
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Zhou, Li Yu, Nengkun Ying, Mingsheng Tsinghua Univ Dept Comp Sci & Technol Beijing Peoples R China Univ Technol Sydney CQSI FEIT Sydney NSW Australia Chinese Acad Sci Inst Software Beijing Peoples R China Tsinghua Univ Beijing Peoples R China
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: (1) restricting QHL to a special class of preconditions and postconditions, namely projections, which can sign... 详细信息
来源: 评论