咨询与建议

限定检索结果

文献类型

  • 2,268 篇 会议
  • 296 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,566 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,271 篇 工学
    • 2,139 篇 软件工程
    • 1,693 篇 计算机科学与技术...
    • 83 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 22 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 建筑学
    • 13 篇 土木工程
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 280 篇 理学
    • 218 篇 数学
    • 32 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 209 篇 管理学
    • 112 篇 图书情报与档案管...
    • 109 篇 管理科学与工程(可...
    • 50 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 390 篇 design
  • 369 篇 languages
  • 187 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 79 篇 functional progr...
  • 71 篇 theory
  • 70 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 49 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 25 篇 carnegie mellon ...
  • 22 篇 univ washington ...
  • 18 篇 univ penn philad...
  • 17 篇 princeton univ p...
  • 17 篇 stanford univ st...
  • 16 篇 univ texas austi...
  • 15 篇 harvard univ cam...
  • 14 篇 purdue univ w la...
  • 13 篇 microsoft res re...
  • 13 篇 microsoft resear...
  • 13 篇 rice univ housto...
  • 12 篇 univ wisconsin m...
  • 12 篇 mit cambridge ma...
  • 12 篇 cornell univ ith...
  • 12 篇 microsoft res ca...
  • 11 篇 univ michigan an...
  • 11 篇 swiss fed inst t...
  • 11 篇 univ calif berke...
  • 10 篇 microsoft res re...
  • 10 篇 yale univ new ha...

作者

  • 19 篇 hirschfeld rober...
  • 16 篇 walker david
  • 15 篇 visser eelco
  • 15 篇 felleisen matthi...
  • 14 篇 findler robert b...
  • 13 篇 grossman dan
  • 13 篇 bacon david f.
  • 12 篇 chlipala adam
  • 11 篇 flatt matthew
  • 11 篇 sarkar vivek
  • 11 篇 myers andrew c.
  • 11 篇 mezini mira
  • 11 篇 morrisett greg
  • 10 篇 mckinley kathryn...
  • 10 篇 bockisch christo...
  • 10 篇 adl-tabatabai al...
  • 10 篇 van der storm ti...
  • 10 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a

语言

  • 2,348 篇 英文
  • 213 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2566 条 记 录,以下是181-190 订阅
排序:
Mace: language support for building distributed systems  07
Mace: Language support for building distributed systems
收藏 引用
conference on programming language design and implementation
作者: Killian, Charles Anderson, James W. Braud, Ryan Jhala, Ranjit Vahdat, Amin Univ Calif San Diego La Jolla CA 92093 USA
Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run. Tools for building distributed systems must strike a compr... 详细信息
来源: 评论
CML. A higher-order concurrent language
CML. A higher-order concurrent language
收藏 引用
Proceedings of the acm sigplan '91 conference on programming language design and implementation
作者: Reppy, John H.
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums  16
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Maleki, Sepideh Yang, Annie Burtscher, Martin Texas State Univ Dept Comp Sci San Marcos TX 78666 USA
Prefix sums are an important parallel primitive, especially in massively-parallel programs. This paper discusses two orthogonal generalizations thereof, which we call higher-order and tuple-based prefix sums. Moreover... 详细信息
来源: 评论
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction  15
Stateless Model Checking Concurrent Programs with Maximal Ca...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Huang, Jeff Texas A&M Univ College Stn TX 77843 USA
We present maximal causality reduction (MCR), a new technique for stateless model checking. MCR systematically explores the state-space of concurrent programs with a provably minimal number of executions. Each executi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Programmable Semantic Fragments The design and implementation of typy  2016
Programmable Semantic Fragments The Design and Implementatio...
收藏 引用
15th acm International conference on Generative programming - Concepts and Experiences (GPCE)
作者: Omar, Cyrus Aldrich, Jonathan Carnegie Mellon Univ Pittsburgh PA 15213 USA
This paper introduces typy, a statically typed programming language embedded by reflection into Python. typy features a fragmentary semantics, i.e. it delegates semantic control over each term, drawn from Python's... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An Efficient Interpreter for Datalog by De-specializing Relations  2021
An Efficient Interpreter for Datalog by De-specializing Rela...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Hu, Xiaowen Zhao, David Jordan, Herbert Scholz, Bernhard Univ Sydney Sch Comp Sci Sydney NSW Australia Univ Innsbruck Innsbruck Austria
Datalog is becoming increasingly popular as a standard tool for a variety of use cases. Modern Datalog engines can achieve high performance by specializing data structures for relational operations. For example, the D... 详细信息
来源: 评论