咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 32 篇 object oriented ...
  • 27 篇 probabilistic pr...
  • 26 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 domain-specific ...
  • 17 篇 compilers
  • 17 篇 type systems

机构

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

作者

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

语言

  • 840 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是91-100 订阅
排序:
Adoption and focus:: Practical linear types for imperative programming  02
Adoption and focus:: Practical linear types for imperative p...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Fähndrich, M DeLine, R Microsoft Res Redmond WA 98052 USA
A type system with linearity is useful for checking software protocols and resource management at compile time. Linearity provides powerful reasoning about state changes, but at the price of restrictions on aliasing. ... 详细信息
来源: 评论
Essential language support for generic programming
Essential language support for generic programming
收藏 引用
conference on programming language design and implementation
作者: Siek, J Lumsdaine, A Indiana Univ Open Syst Lab Bloomington IN 47405 USA
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, enable systematic organization of proble... 详细信息
来源: 评论
A compiler approach to fast hardware design space exploration in FPGA-based systems
A compiler approach to fast hardware design space exploratio...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: So, B Hall, MW Diniz, PC Univ So Calif Inst Informat Sci Marina Del Rey CA 90292 USA
This paper describes an automated approach to hardware design space exploration, through a collaboration between parallelizing compiler technology and high-level synthesis tools. We present a compiler algorithm that a... 详细信息
来源: 评论
Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs  2019
Incremental Precision-Preserving Symbolic Inference for Prob...
收藏 引用
40th acm sigplan conference on programming language design and implementation (pldi) part of acm's Federated Computing Research conference (FCRC)
作者: Zhang, Jieyuan Xue, Jingling UNSW Sydney Sch Comp Sci & Engn Sydney NSW Australia
We present ISymb, an incremental symbolic inference framework for probabilistic programs in situations when some loop-manipulated array data, upon which their probabilistic models are conditioned, undergoes small chan... 详细信息
来源: 评论
ESP: A language for programmable devices  01
ESP: A language for programmable devices
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Kumar, S Mandelbaum, Y Yu, X Li, K Princeton Univ Princeton NJ 08544 USA
This paper presents the design and implementation of Event-driven State-machines programming (ESP) - a language for programmable devices. In traditional languages, like C, using event-driven state-machines forces a tr... 详细信息
来源: 评论
Effective sign extension elimination  02
Effective sign extension elimination
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Kawahito, M Komatsu, H Nakatani, T IBM Tokyo Res Lab Kanagawa 2428502 Japan
Computer designs are shifting from 32-bit architectures to 64-bit architectures, while most of the programs available today are still designed for 32-bit architectures, Java(TM), for example, specifies the frequently ... 详细信息
来源: 评论
Regularly annotated set constraints  07
Regularly annotated set constraints
收藏 引用
conference on programming language design and implementation
作者: Kodumal, John Aiken, Alex Univ Calif Berkeley Coverity Inc Berkeley CA 94720 USA Stanford Univ Stanford CA 94305 USA
A general class of program analyses are a combination of context-free and regular language reachability. We define regularly annotated set constraints, a constraint formalism that captures this class. Our results exte... 详细信息
来源: 评论
Verifiable Composition of Deterministic Grammars  09
Verifiable Composition of Deterministic Grammars
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Schwerdfeger, August C. Van Wyk, Eric R. Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA
There is an increasing interest in extensible languages, (domain-specific) language extensions, and mechanisms for their specification and implementation. One challenge is to develop tools that allow non-expert progra... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Asynchronous exceptions in Haskell  01
Asynchronous exceptions in Haskell
收藏 引用
acm sigplan'01 conference on programming language design and implementation (pldi)
作者: Marlow, S. Peyton Jones, S. Moran, A. Reppy, J. Microsoft Research Cambridge MA United States
Asynchronous exceptions, such as timeouts, are important for robust, modular programs, but are extremely difficult to program with - so much so that most programming languages either heavily restrict them or ban them ... 详细信息
来源: 评论