咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,112 篇 工学
    • 1,037 篇 软件工程
    • 800 篇 计算机科学与技术...
    • 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
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 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,205 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1287 条 记 录,以下是411-420 订阅
排序:
Wire Sorts: A language Abstraction for Safe Hardware Composition  2021
Wire Sorts: A Language Abstraction for Safe Hardware Composi...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Christensen, Michael Sherwood, Timothy Balkind, Jonathan Hardekopf, Ben Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
Effective digital hardware design fundamentally requires decomposing a design into a set of interconnected modules, each a distinct unit of computation and state. However, naively connecting hardware modules leads to ... 详细信息
来源: 评论
Integrated language Definition Testing Enabling Test-Driven language Development  11
Integrated Language Definition Testing Enabling Test-Driven ...
收藏 引用
2011 acm International conference on Object Oriented programming Systems languages and Applications
作者: Kats, Lennart C. L. Vermaas, Rob Visser, Eelco Delft Univ Technol NL-2600 AA Delft Netherlands
The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Langua... 详细信息
来源: 评论
Profile-directed optimization of event-based programs  02
Profile-directed optimization of event-based programs
收藏 引用
proceedings of the acm sigplan 2002 conference on programming language design and implementation (PLDI'02)
作者: Rajagopalan, Mohan Debray, Saumya K. Hiltunen, Matti A. Schlichting, Richard D. Department of Computer Science University of Arizona Tucson AZ 85721 United States
Events are used as a fundamental abstraction in programs ranging from graphical user interfaces (GUIs) to systems for building customized network protocols. While providing a flexible structuring and execution paradig... 详细信息
来源: 评论
The when, why and why not of the BETA programming language
The when, why and why not of the BETA programming language
收藏 引用
3rd acm sigplan History of programming languages conference, HOPL-III
作者: Kristensen, Bent Bruun Madsen, Ole Lehrmann Møller-Pedersen, Birger University of Southern Denmark Campusvej 55 DK-5230 Odense M Denmark University of Aarhus Åbogade 34 DK-8200 Århus N Denmark University of Oslo Gaustadalleen 23 NO-0316 Oslo Norway
This paper tells the story of the development of BETA: a programming language with just one abstraction mechanism, instead of one abstraction mechanism for each kind of program element (classes, types, procedures, fun... 详细信息
来源: 评论
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
Cloning-based context-sensitive pointer alias analysis using...
收藏 引用
proceedings of the 2004 acm sigplan conference on programming language design and implementation (PLDI'04)
作者: Whaley, John Lam, Monica S. Computer Science Department Stanford University Stanford CA 94305 United States
This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a method for every context of interest, a... 详细信息
来源: 评论
POPL: TLDI'12 - proceedings of the 8th acm sigplan Workshop on Types in language design and implementation
POPL: TLDI'12 - Proceedings of the 8th ACM SIGPLAN Workshop ...
收藏 引用
8th acm sigplan Workshop on Types in language design and implementation, TLDI'12, Co-located with POPL 2012
The proceedings contain 8 papers. The topics discussed include: towards concurrent type theory;exact type parameterization and this type support;types for relaxed memory models;towards a formal semantics for a structu...
来源: 评论
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices  2019
Compiling KB-Sized Machine Learning Models to Tiny IoT Devic...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Gopinath, Sridhar Ghanathe, Nikhil Seshadri, Vivek Sharma, Rahul Microsoft Res Bengaluru India
Recent advances in machine learning (ML) have produced KiloByte-size models that can directly run on constrained IoT devices. This approach avoids expensive communication between IoT devices and the cloud, thereby ena... 详细信息
来源: 评论
Efficient context-sensitive pointer analysis for c programs  95
Efficient context-sensitive pointer analysis for c programs
收藏 引用
1995 acm sigplan conference on programming language design and implementation, PLDI 1995
作者: Wilson, Robert P. Lam, Monica S. Computer Systems Laboratory Stanford University CA94305 United States
This paper proposes an efficient technique for con-extsensitive pointer analysis that is applicable to real C programs. For efficiency, we summarize the effects of procedures using partial tran$er func(ions. A partial... 详细信息
来源: 评论
A Context-free Markup language for Semi-structured Text  10
A Context-free Markup Language for Semi-structured Text
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Xi, Qian Walker, David Princeton Univ Princeton NJ 08544 USA
An ad hoc data format is any nonstandard, semi-structured data format for which robust data processing tools are not easily available. In this paper, we present ANNE, a new kind of markup language designed to help use... 详细信息
来源: 评论
Fault-tolerant typed assembly language  07
Fault-tolerant typed assembly language
收藏 引用
conference on programming language design and implementation
作者: Perry, Frances Mackey, Lester Reis, George A. Ligatti, Jay August, David I. Walker, David Princeton Univ Dept Comp Sci & Elect Engn Princeton NJ 08544 USA Univ S Florida Dept Comp Sci & Comp Engn Tampa FL 33620 USA
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. Although transient faults do not permanently damage the hardware, they may corrupt computations by alterin... 详细信息
来源: 评论