咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 136 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,116 篇 工学
    • 1,040 篇 软件工程
    • 804 篇 计算机科学与技术...
    • 49 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 10 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 安全科学与工程
    • 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 ...
  • 19 篇 c (programming l...

机构

  • 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,203 篇 英文
  • 88 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1292 条 记 录,以下是1011-1020 订阅
排序:
The undergraduate capstone software design experience
The undergraduate capstone software design experience
收藏 引用
1997 conference on TRI-Ada, TRI-Ada 1997
作者: Blair, Jean R. S. Ressler, Eugene K. Wagner, Thomas D. Department of Electrical Engineering and Computer Science United States Military Academy West PointNY10996 United States
Ada 95 is being used as the implementation language for a senior level compiler design course at the United States Military Academy. This paper describes experiences and lessons learned as well as the scenario based a... 详细信息
来源: 评论
Dynamic feedback: An effective technique for adapting computing
Dynamic feedback: An effective technique for adapting comput...
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Diniz, Pedro Rinard, Martin Univ of California Santa Barbara Santa Barbara United States
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produces several different versions of the sa... 详细信息
来源: 评论
Exploiting hardware performance counters with flow and context sensitive profiling  97
Exploiting hardware performance counters with flow and conte...
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Ammons, Glenn Ball, Thomas Larus, James R. Univ of Wisconsin-Madison Madison WI United States
A program profile attributes run-time costs to portions of a program's execution. Most profiling systems suffer from two major deficiencies: first, they only apportion simple metrics, such as execution frequency o... 详细信息
来源: 评论
Incremental analysis of real programming languages
Incremental analysis of real programming languages
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Wagner, Tim A. Graham, Susan L. Univ of California Berkeley United States
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequate;in particular, LR(k) grammars are una... 详细信息
来源: 评论
proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
Proceedings of the ACM SIGPLAN'96 Conference on Programming ...
收藏 引用
proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
The proceedings contains 28 papers. Topics discussed include software pipelining, reduced multipipeline machine description in scheduling constraints, program debugging, program compilers, parallel processing systems,... 详细信息
来源: 评论
Parameterized types for Java
Parameterized types for Java
收藏 引用
The 1997 24th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'97
作者: Myers, Andrew C. Bank, Joseph A. Liskov, Barbara Massachusetts Inst of Technology Cambridge MA United States
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more ... 详细信息
来源: 评论
Flavor: a language for media representation  97
Flavor: a language for media representation
收藏 引用
proceedings of the 1997 5th acm International Multimedia conference
作者: Eleftheriadis, Alexandros Columbia Univ New York United States
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal language for Audio-Visual Object Representation). It is an extension of C++ and Java in whi... 详细信息
来源: 评论
Developing graphical (software engineering) tools with PROGRES  97
Developing graphical (software engineering) tools with PROGR...
收藏 引用
19th International conference on Software Engineering (ICSE 97) - Pulling Together
作者: Schurr, A Lehrstuhl für Informatik III RWTH Aachen Ahornstr. 55 D-52074 Aachen Germany
PROGRES is a partly rule-oriented, partly object-oriented language which supports the design of graph structures and the implementation of graph manipulating tools. It has a formal definition based on graph rewriting ... 详细信息
来源: 评论
An open implementation analysis and design for lightweight threads  97
An open implementation analysis and design for lightweight t...
收藏 引用
proceedings of the 12th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Matthew Haines Department of Computer Science University of Wyoming
Open implementation Analysis and design (OIA/D) has been introduced as a design methodology for object-oriented software systems, and in particular for substrate software. In this paper we detail our experiences with ...
来源: 评论
Aggressive inlining  97
Aggressive inlining
收藏 引用
proceedings of the acm sigplan 1997 conference on programming language design and implementation
作者: Andrew Ayers Richard Schooler Robert Gottlieb Hewlett-Packard Massachusetts Language Laboratory 300 Apollo Drive Chelmsford MA
Existing research understates the benefits that can be obtained from inlining and cloning, especially when guided by profile information. Our implementation of inlining and cloning yields excellent results on average ...
来源: 评论