咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是601-610 订阅
排序:
Free-Me: A static analysis for automatic individual object reclamation  06
Free-Me: A static analysis for automatic individual object r...
收藏 引用
PLDI 2006 - 2006 acm sigplan conference on programming language design and implementation
作者: Guyer, Samuel Z. McKinley, Kathryn S. Frampton, Daniel Tufts University University of Texas Austin Australian National University
Garbage collection has proven benefits, including fewer memory-related errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory only when it is invoked: invoking it ... 详细信息
来源: 评论
Artemis: Practical runtime monitoring of applications for execution anomalies  06
Artemis: Practical runtime monitoring of applications for ex...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Fei, Long Midkiff, Samuel P. School of Electrical and Computer Engineering Purdue University West Lafayette IN 47907 United States
A number of hardware and software techniques have been proposed to detect dynamic program behaviors that may indicate a bug in a program. Because these techniques suffer from high overheads they are useful in finding ... 详细信息
来源: 评论
Java interfaces in CS 1 textbooks
Java interfaces in CS 1 textbooks
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: VanDrunen, Thomas Wheaton College Wheaton IL
Java's interface construct allows for a clear distinction between subtype polymorphism based on a shared interface and code reuse based on class extension or inheritance. design Patterns argues that in an object-o... 详细信息
来源: 评论
Statically scoped object adaptation with expanders  06
Statically scoped object adaptation with expanders
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Warth, Alessandro Stanojević, Milan Millstein, Todd Computer Science Department University of California Los Angeles
This paper introduces the expander, a new object-oriented (OO) programming language construct designed to support object adaptation. Expanders allow existing classes to be noninvasively updated with new methods, field... 详细信息
来源: 评论
conferences with improved management and style
Conferences with improved management and style
收藏 引用
作者: Wadler, Philip Department of Theoretical Computer Science University of Edinburgh Royal Society of Edinburgh
sigplan sponsors the premier conferences in the area of programming language research and maintains a vigorous program of workshops. sigplan explores programming language concepts and tools focusing on design, impleme... 详细信息
来源: 评论
Modern features for systems programming languages  44
Modern features for systems programming languages
收藏 引用
44th Annual acm Southeast conference, acmSE 2006
作者: McCorkle, Eric L. Atlanta GA
This paper presents a case for the design and implementation of a modern programming language for systems programming. It shows that traditional systems languages like C and Fortran possess features no longer relevant... 详细信息
来源: 评论
OO techniques applied to a real-time, embedded, spaceborne application
OO techniques applied to a real-time, embedded, spaceborne a...
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Murray, Alexander T. Shahabuddin, Mohammad Jet Propulsion Laboratory California Institute of Technology 4800 Oak Grove Drive Pasadena CA 91109
Though Object-Oriented Analysis, design, and languages have become the dominant practices in many, or most, domains of software engineering, concerns about complexity, size, and performance in the embedded, real-time ... 详细信息
来源: 评论
The DaCapo benchmarks: Java benchmarking development and analysis  06
The DaCapo benchmarks: Java benchmarking development and ana...
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Blackburn, Stephen M. Garner, Robin Hoffmann, Chris Khang, Asjad M. Mckinley, Kathryn S. Bentzur, Rotem Diwan, Amer Feinberg, Daniel Frampton, Daniel Guyer, Samuel Z. Hirzel, Martin Hosking, Antony Jump, Maria Lee, Han Moss, J.Eliot B. Phansalkar, Aashish Stefanoví, Darko VanDrunen, Thomas Von Dincklage, Daniel Wiedermann, Ben Intel Australian National University University of Massachusetts Amherst University of Texas Austin University of New Mexico University of Colorado Tufts IBM TJ Watson Research Center Purdue University Wheaton College
Since benchmarks drive computer science research and industry product development, which ones we use and how we evaluate them are key questions for the community. Despite complex runtime tradeoffs due to dynamic compi... 详细信息
来源: 评论
The SystemJ approach to system-level design
The SystemJ approach to system-level design
收藏 引用
4th acm/IEEE International conference on Formal Methods and Models for Co-design
作者: Gruian, Flavius Roop, Partha Salcic, Zoran Radojevic, Ivan Lund Inst Technol Dept Comp Sci SE-22100 Lund Sweden Univer Auckland Dept Elect & Comp Engn Auckland 92019 New Zealand
In this paper, we propose a new system-level design language, called SystemJ. It extends Java with synchronous reactive features present in Esterel and asynchronous constructs suitable for modelling Globally Asynchron... 详细信息
来源: 评论
Combinatorial sketching for finite programs
Combinatorial sketching for finite programs
收藏 引用
12th International conference on Architectural Support for programming languages and Operating Systems
作者: Solar-Lezama, Armando Bodik, Liviu Tancau Rastislav Saraswat, Vijay Seshia, Sanjit Univ Calif Berkeley Berkeley CA 94720 USA
Sketching is a software synthesis approach where the programmer develops a partial implementation - a sketch - and a separate specification of the desired functionality. The synthesizer then completes the sketch to be... 详细信息
来源: 评论