咨询与建议

限定检索结果

文献类型

  • 1,118 篇 会议
  • 137 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,082 篇 工学
    • 1,011 篇 软件工程
    • 776 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 42 篇 电气工程
    • 40 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 132 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 4 篇 物理学
    • 4 篇 化学
  • 88 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 13 篇 教育学
    • 13 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 185 篇 design
  • 173 篇 languages
  • 102 篇 performance
  • 96 篇 computer program...
  • 62 篇 algorithms
  • 50 篇 computer program...
  • 47 篇 object oriented ...
  • 46 篇 experimentation
  • 43 篇 java programming...
  • 40 篇 verification
  • 35 篇 reliability
  • 32 篇 functional progr...
  • 31 篇 java
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 21 篇 domain-specific ...
  • 20 篇 measurement
  • 20 篇 concurrency
  • 19 篇 theory
  • 19 篇 c (programming l...

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 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 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 mit cambridge ma...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 northeastern uni...

作者

  • 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 篇 foster nate
  • 6 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,174 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation"
1256 条 记 录,以下是981-990 订阅
排序:
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 ...
来源: 评论
Incremental analysis of real programming languages  97
Incremental analysis of real programming languages
收藏 引用
proceedings of the acm sigplan 1997 conference on programming language design and implementation
作者: Tim A. Wagner Susan L. Graham University of California Berkeley
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 un...
来源: 评论
Simple objects for standard ML  96
Simple objects for standard ML
收藏 引用
acm sigplan 96 conference on programming language design and implementation
作者: Reppy, J Riecke, J AT&T Research Bell Laboratories
We propose a new approach to adding objects to Standard ML (SML) based on explicit declarations of object types, object constructors, and subtyping relationships, with a generalization of the SML case statement to a &... 详细信息
来源: 评论
Efficient and language-independent mobile programs  96
Efficient and language-independent mobile programs
收藏 引用
proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
作者: Adl-Tabatabai, Ali-Reza Langdale, Geoff Lucco, Steven Wahbe, Robert Carnegie Mellon Univ Pittsburgh PA United States
This paper evaluates the design and implementation of Omniware: a safe, efficient, and language-independent system for executing mobile program modules. Omniware uses software fault isolation to achieve a unique combi... 详细信息
来源: 评论
Practical program analysis using general purpose logic programming systems - a case study
Practical program analysis using general purpose logic progr...
收藏 引用
proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
作者: Dawson, Steven Ramakrishnan, C.R. Warren, David S. SUNY at Stony Brook Stony Brook United States
Study shows that it is indeed possible to use declarative formulations in practical systems, when combined judiciously with the appropriate tools of evaluations. This paper describes the implementation of logical form... 详细信息
来源: 评论
Data flow frequency analysis
Data flow frequency analysis
收藏 引用
acm sigplan 96 conference on programming language design and implementation
作者: Ramalingam, G IBM T.J. Watson Research Cent Yorktown Heights United States
Conventional dataflow analysis computes information about what facts may or will not hold during the execution of a program. Sometimes it is useful, for program optimization, to know how often or with what probability... 详细信息
来源: 评论