咨询与建议

限定检索结果

文献类型

  • 1,152 篇 会议
  • 133 篇 期刊文献

馆藏范围

  • 1,285 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,110 篇 工学
    • 1,036 篇 软件工程
    • 798 篇 计算机科学与技术...
    • 48 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 102 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 48 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 18 篇 type systems

机构

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

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 8 篇 gulwani sumit
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,203 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1285 条 记 录,以下是161-170 订阅
排序:
A provably sound TAL for back-end optimization  03
收藏 引用
conference on programming language design and implementation
作者: Chen, J Wu, DH Appel, AW Fang, H Princeton Univ Princeton NJ 08544 USA Yale Univ New Haven CT 06520 USA
Typed assembly languages provide a way to generate machine-checkable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages are hand-written and cannot be machi... 详细信息
来源: 评论
A study of concurrent real-time garbage collectors  08
A study of concurrent real-time garbage collectors
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Pizlo, Filip Petrank, Erez Steensgaard, Bjarne Purdue Univ W Lafayette IN 47907 USA Microsoft Res Redmond WA 98052 USA
Concurrent garbage collection is highly attractive for real-time systems, because offloading the collection effort from the executing threads allows faster response, allowing for extremely short deadlines at the micro... 详细信息
来源: 评论
Characterising Renaming within OCaml's Module System: Theory and implementation  2019
Characterising Renaming within OCaml's Module System: Theory...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Rowe, Reuben N. S. Feree, Hugo Thompson, Simon J. Owens, Scott Univ Kent Sch Comp Canterbury Kent England
We present an abstract, set-theoretic denotational semantics for a significant subset of OCaml and its module system, allowing to reason about the correctness of renaming value bindings. Our semantics captures informa... 详细信息
来源: 评论
Interactive Parser Synthesis by Example  15
Interactive Parser Synthesis by Example
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Leung, Alan Sarracino, John Lerner, Sorin Univ Calif San Diego San Diego CA 92103 USA
Despite decades of research on parsing, the construction of parsers remains a painstaking, manual process prone to subtle bugs and pitfalls. We present a programming-by-example framework called Parsify that is able to... 详细信息
来源: 评论
Dynamo: A transparent dynamic optimization system
Dynamo: A transparent dynamic optimization system
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (PLDI)
作者: Bala, V Duesterwald, E Banerjia, S Hewlett Packard Labs Cambridge MA 02142 USA
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stream as it executes on the processor. Th... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Jedd:: A BDD-based relational extension of Java
Jedd:: A BDD-based relational extension of Java
收藏 引用
conference on programming language design and implementation
作者: Lhoták, O Hendren, L McGill Univ Sch Comp Sci Sable Res Grp Montreal PQ Canada
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as database-style relations and operatio... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Program Synthesis from Polymorphic Refinement Types  16
Program Synthesis from Polymorphic Refinement Types
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Polikarpova, Nadia Kuraj, Ivan Solar-Lezama, Armando MIT CSAIL Cambridge MA USA
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for prog... 详细信息
来源: 评论
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... 详细信息
来源: 评论