咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 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 washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

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

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是371-380 订阅
排序:
Modula-2 and Oberon
Modula-2 and Oberon
收藏 引用
3rd acm sigplan History of programming languages conference, HOPL-III
作者: Wirth, Niklaus ETH Zurich
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algol-like languages. Pascal (1970) reflected the ideas of struct... 详细信息
来源: 评论
A static analyzer for large safety-critical software  03
收藏 引用
conference on programming language design and implementation
作者: Blanchet, B Cousot, P Cousot, R Feret, J Mauborgne, L Miné, A Monniaux, D Rival, X CNRS F-75700 Paris France Ecole Normale Super Paris France Ecole Polytech F-91128 Palaiseau France
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms. This is ... 详细信息
来源: 评论
Task Parallel Assembly language for Uncompromising Parallelism  2021
Task Parallel Assembly Language for Uncompromising Paralleli...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Rainey, Mike Newton, Ryan R. Hale, Kyle Hardavellas, Nikos Campanoni, Simone Dinda, Peter Acar, Umut A. Carnegie Mellon Univ Pittsburgh PA 15213 USA Facebook New York NY USA IIT Chicago IL 60616 USA Northwestern Univ Chicago IL 60611 USA
Achieving parallel performance and scalability involves making compromises between parallel and sequential computation. If not contained, the overheads of parallelism can easily outweigh its benefits, sometimes by ord... 详细信息
来源: 评论
Type-preserving compilation of end-to-end verification of security enforcement  10
Type-preserving compilation of end-to-end verification of se...
收藏 引用
acm sigplan 2010 conference on programming language design and implementation, PLDI 2010
作者: Chen, Juan Chugh, Ravi Swamy, Nikhil Microsoft Research United States University of California San Diego CA United States
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in these languages are compiled without exp... 详细信息
来源: 评论
Adding delimited and composable control to a production programming environment
Adding delimited and composable control to a production prog...
收藏 引用
12th acm sigplan International conference on Functional programming
作者: Flatt, Matthew Yu, Gang Findler, Robert Bruce Felleisen, Matthias Univ Utah Salt Lake City UT 84112 USA Chinese Acad Sci Inst Software Beijing 100864 Peoples R China Univ Chicago Chicago IL 60637 USA Northeastern Univ Boston MA 02115 USA
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advantages, how the operators explain each o... 详细信息
来源: 评论
Using role components to implement collaboration-based designs  11
Using role components to implement collaboration-based desig...
收藏 引用
Proceedings of the 1996 conference on Object-Oriented programming Systems, languages & Applications
作者: VanHilst, Michael Notkin, David Univ of Washington Seattle United States
In this paper we present a method of code implementation that works in conjunction with collaboration and responsibility based analysis modeling techniques to achieve better code reuse and resilience to change. Our ap... 详细信息
来源: 评论
Algorithm specialization in generic programming: Challenges of constrained generics in C++  06
Algorithm specialization in generic programming: Challenges ...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Järvi, Jaakko Gregor, Douglas Willcock, Jeremiah Lumsdaine, Andrew Siek, Jeremy Texas A and M University United States Indiana University United States Rice University United States
Generic programming has recently emerged as a paradigm for developing highly reusable software libraries, most notably in C++. We have designed and implemented a constrained generics extension for C++ to support modul... 详细信息
来源: 评论
SEMCLUSTER: Clustering of Imperative programming Assignments Based on Quantitative Semantic Features  2019
SEMCLUSTER: Clustering of Imperative Programming Assignments...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Perry, David M. Kim, Dohyeong Samanta, Roopsha Zhang, Xiangyu Purdue Univ W Lafayette IN 47907 USA
A fundamental challenge in automated reasoning about programming assignments at scale is clustering student submissions based on their underlying algorithms. State-of-the-art clustering techniques are sensitive to con... 详细信息
来源: 评论
Fast and flexible instruction selection with on-demand tree-parsing automata  06
Fast and flexible instruction selection with on-demand tree-...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Ertl, M. Anton Casey, Kevin Gregg, David TU Wien Austria Trinity College Dublin Ireland Institut für Computersprachen Technische Universität Wien Argentinierstraße 8 A-1040 Wien Austria
Tree parsing as supported by code generator generators like BEG, burg, iburg, lburg and ml-burg is a popular instruction selection method. There are two existing approaches for implementing tree parsing: dynamic progr... 详细信息
来源: 评论
Armada: Low-Effort Verification of High-Performance Concurrent Programs  2020
Armada: Low-Effort Verification of High-Performance Concurre...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Lorch, Jacob R. Chen, Yixuan Kapritsos, Manos Parno, Bryan Qadeer, Shaz Sharma, Upamanyu Wilcox, James R. Zhao, Xueyuan Microsoft Res Redmond WA 98052 USA Univ Michigan Ann Arbor MI 48109 USA Yale Univ New Haven CT 06520 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Calibra Seattle WA USA Certora San Francisco CA USA
Safely writing high-performance concurrent programs is notoriously difficult. To aid developers, we introduce Armada, a language and tool designed to formally verify such programs with relatively little effort. Via a ... 详细信息
来源: 评论