咨询与建议

限定检索结果

文献类型

  • 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

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是711-720 订阅
排序:
The performance of an object-oriented threads package  90
The performance of an object-oriented threads package
收藏 引用
1990 European conference on Object-Oriented programming on Object-Oriented programming Systems, languages, and Applications, OOPSLA/ECOOP 1990
作者: Faust, John E. Levy, Henry M. Department of Computer Science and Engineering University of Washington SeattleWA98195 United States
Presto is an object-oriented threads package for writing parallel programs on a shared-memory multiprocessor. The system adds thread objects and synchronization objects to C++ to allow programmers to create and contro... 详细信息
来源: 评论
A practical type system and language for reference immutability  04
A practical type system and language for reference immutabil...
收藏 引用
19th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'04
作者: Birka, Adrian Ernst, Michael D. MIT Comp. Sci./Artif. Intell. Lab. Cambridge MA 02139 United States
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refer... 详细信息
来源: 评论
Modularizing Crosscutting Concerns with Ptolemy  11
Modularizing Crosscutting Concerns with Ptolemy
收藏 引用
10th International conference on Aspect-Oriented Software Development (AOSD)
作者: Rajan, Hridesh Leavens, Gary T. Dyer, Robert Bagherzadeh, Mehdi Iowa State Univ Ames IA 50011 USA Univ Cent Florida Orlando FL 32816 USA
This tutorial will provide an introduction to Ptolemy. Ptolemy is a programming language whose goals are to improve a software engineer's ability to separate conceptual concerns, while preserving encapsulation of ... 详细信息
来源: 评论
How to print floating-point numbers accurately
How to print floating-point numbers accurately
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Steele Jr., Guy L. White, Jon L. Thinking Machines Corp Cambridge United States
We present algorithms for accurately converting floating-point numbers to decimal representation. The key idea is to carry along with the computation an explicit representation of the required rounding accuracy. We be... 详细信息
来源: 评论
The myth: Anyone Can code the software if the requirements and design are
The myth: Anyone Can code the software if the requirements a...
收藏 引用
1988 Annual International conference on Ada, TRI-Ada 1988
作者: Perkins, J.A. Dynamics Research Corporation Systems Division 60 Frontage Road AndoverMA01810 United States
The focus of this paper is the conjecture that the coding phase of a software system is difficult even in those instances where the functional requirements are well-defined, the functional design is finalized, and the... 详细信息
来源: 评论
Finding Optimum Abstractions in Parametric Dataflow Analysis  13
Finding Optimum Abstractions in Parametric Dataflow Analysis
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Xin Zhang Mayur Naik Hongseok Yang Georgia Institute of Technology University of Oxford
We propose a technique to efficiently search a large family of abstractions in order to prove a query using a parametric dataflow analysis. Our technique either finds the cheapest such abstraction or shows that none e... 详细信息
来源: 评论
A SYSTEMATIC FRAMEWORK FOR THE DEPENDENCE CYCLE REMOVAL IN PRACTICAL LOOPS
收藏 引用
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 1995年 第2期27卷 157-171页
作者: KONDA, V KUMAR, A UNIV LOUISVILLE DEPT ENGN MATH & COMP SCILOUISVILLEKY 40292
Traditionally research in dependence testing considered the most general linear subscripted DO loops permitted by standard Fortran. However, the existing program transformations are discussed in isolation without deve... 详细信息
来源: 评论
Checking race freedom via linear programming
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 1-10页
作者: Terauchi, Tachio Tohoku Univ Sendai Miyagi 980 Japan
We present a new static analysis for race freedom and race detection. The analysis checks race freedom by reducing the problem to ( rational) linear programming. Unlike conventional static analyses for race freedom or... 详细信息
来源: 评论
Adding trace matching with free variables to AspectJ
Adding trace matching with free variables to AspectJ
收藏 引用
OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications
作者: Allan, Chris Avgustinov, Pavel Christensen, Aske Simon Hendren, Laurie Kuzins, Sascha Lhoták, Ondřej De Moor, Oege Sereni, Damien Sittampalam, Ganesh Tibble, Julian Programming Tools Group University of Oxford United Kingdom BRICS University of Aarhus Denmark Sable Research Group McGill University Montreal Canada
An aspect observes the execution of a base program;when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are confined to the current ... 详细信息
来源: 评论
The JastAdd extensible java compiler
The JastAdd extensible java compiler
收藏 引用
22nd Annual acm sigplan International conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'07
作者: Ekman, Torbjörn Görel, Hedin Programming Tools Group University of Oxford United Kingdom Department of Computer Science Lund University Sweden
The JastAdd Extensible Java Compiler is a high quality Java that is easy to extend in order to build static analysis for Java, and to extend Java with new language constructs. built modularly, with a Java 1.4 compiler... 详细信息
来源: 评论