咨询与建议

限定检索结果

文献类型

  • 1,381 篇 会议
  • 107 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,398 篇 工学
    • 1,353 篇 软件工程
    • 1,101 篇 计算机科学与技术...
    • 176 篇 控制科学与工程
    • 38 篇 信息与通信工程
    • 21 篇 建筑学
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 12 篇 光学工程
    • 12 篇 电气工程
    • 6 篇 机械工程
    • 6 篇 材料科学与工程(可...
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 冶金工程
    • 3 篇 航空宇航科学与技...
    • 2 篇 力学(可授工学、理...
    • 2 篇 生物医学工程(可授...
  • 166 篇 理学
    • 126 篇 数学
    • 23 篇 系统科学
    • 18 篇 生物学
    • 6 篇 化学
    • 6 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 2 篇 地质学
  • 145 篇 管理学
    • 103 篇 图书情报与档案管...
    • 55 篇 管理科学与工程(可...
    • 31 篇 工商管理
  • 18 篇 教育学
    • 17 篇 教育学
  • 10 篇 法学
    • 9 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 医学
  • 1 篇 农学

主题

  • 452 篇 object oriented ...
  • 226 篇 languages
  • 81 篇 performance
  • 79 篇 design
  • 71 篇 java programming...
  • 52 篇 algorithms
  • 48 篇 java
  • 44 篇 experimentation
  • 43 篇 verification
  • 36 篇 computer program...
  • 31 篇 reliability
  • 30 篇 theory
  • 28 篇 aspect oriented ...
  • 21 篇 measurement
  • 17 篇 human factors
  • 16 篇 parallel program...
  • 15 篇 concurrency
  • 14 篇 static analysis
  • 14 篇 scala
  • 14 篇 refactoring

机构

  • 18 篇 univ washington ...
  • 12 篇 ecole polytech f...
  • 12 篇 univ texas austi...
  • 9 篇 microsoft res re...
  • 9 篇 swiss fed inst t...
  • 8 篇 mit csail cambri...
  • 8 篇 univ calif berke...
  • 8 篇 university of il...
  • 7 篇 victoria univers...
  • 6 篇 programming tool...
  • 6 篇 univ waterloo wa...
  • 6 篇 suny binghamton ...
  • 6 篇 university of wa...
  • 6 篇 carnegie mellon ...
  • 6 篇 aarhus univ dk-8...
  • 6 篇 purdue univ dept...
  • 5 篇 univ marburg d-3...
  • 5 篇 tech univ darmst...
  • 5 篇 ibm t.j. watson ...
  • 5 篇 delft univ techn...

作者

  • 13 篇 noble james
  • 13 篇 de moor oege
  • 13 篇 aldrich jonathan
  • 11 篇 lorenz david h.
  • 10 篇 biddle robert
  • 10 篇 odersky martin
  • 10 篇 ernst michael d.
  • 9 篇 mckinley kathryn...
  • 9 篇 baniassad elisa
  • 9 篇 hendren laurie
  • 9 篇 visser eelco
  • 9 篇 ostermann klaus
  • 8 篇 de champeaux den...
  • 8 篇 tip frank
  • 8 篇 cook william r.
  • 8 篇 johnson ralph
  • 8 篇 liu yu david
  • 8 篇 binder walter
  • 8 篇 abi-antoun marwa...
  • 8 篇 mezini mira

语言

  • 1,419 篇 英文
  • 69 篇 其他
检索条件"任意字段=1987 Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 1987"
1488 条 记 录,以下是411-420 订阅
排序:
JOLT: Lightweight Dynamic Analysis and Removal of object Churn  08
JOLT: Lightweight Dynamic Analysis and Removal of Object Chu...
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Shankar, Ajeet Arnold, Matthew Bodik, Rastislav Univ Calif Berkeley Berkeley CA 94720 USA IBM Corp TJ Watson Res Ctr Armonk NY 10504 USA
It has been observed that component-based applications exhibit object churn, the excessive creation of short-lived objects, often caused by trading performance for modularity. Because churned objects are short-lived, ... 详细信息
来源: 评论
Enforcing object Protocols by Combining Static and Runtime Analysis  08
Enforcing Object Protocols by Combining Static and Runtime A...
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Gopinathan, Madhu Rajamani, Sriram K. Indian Inst Sci Bangalore 560012 Karnataka India Microsoft Res India Bangalore Karnataka India
In this paper, we consider object protocols that constrain interactions between objects in a program. Several such protocols have been proposed in the literature [3, 9, 6, 5]. For many APIs (such as JDOM [23], JDBC [2... 详细信息
来源: 评论
Java Type Inference Is Broken: Can We Fix It?  08
Java Type Inference Is Broken: Can We Fix It?
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Smith, Daniel Cartwright, Robert Rice Univ Dept Comp Sci Houston TX 77251 USA
Java 5, the most recent major update to the Java programming Language, introduced a number of sophisticated features, including a major extension to the type system. While the technical details of these new features a... 详细信息
来源: 评论
A Theory of Aspects as Latent Topics  08
A Theory of Aspects as Latent Topics
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Baldi, Pierre F. Lopes, Cristina V. Linstead, Erik J. Bajracharya, Sushil K. Univ Calif Irvine Bren Sch Informat & Comp Sci Irvine CA 92717 USA
After more than 10 years, Aspect-oriented programming (AOP) is still a controversial idea. While the concept of aspects appeals to everyone's intuitions, concrete AOP solutions often fail to convince researchers a... 详细信息
来源: 评论
A Tag-Based Approach for the Design and Composition of Information Processing applications  08
A Tag-Based Approach for the Design and Composition of Infor...
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Bouillet, Eric Feblowitz, Mark Liu, Zhen Ranganathan, Anand Riabov, Anton IBM Research Hawthorne NY USA IBM Research Cambridge MA USA
In the realm of component-based software systems, pursuers of the holy grail of automated application composition face many significant challenges. In this paper we argue that, while the general problem of automated c... 详细信息
来源: 评论
Dynamic Optimization for Efficient Strong Atomicity  08
Dynamic Optimization for Efficient Strong Atomicity
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Schneider, Florian T. Menon, Vijay Shpeisman, Tatiana Adl-Tabatabai, Ali-Reza ETH Dept Comp Sci Zurich Switzerland Google Seattle WA 98103 USA Intel Corp Santa Clara CA 95054 USA
Transactional memory (TM) is a promising concurrency control alternative to locks. Recent work [30, 1, 25, 26] has highlighted important memory model issues regarding TM semantics and exposed problems in existing TM i... 详细信息
来源: 评论
Efficient Local Type Inference  08
Efficient Local Type Inference
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Bellamy, Ben Avgustinov, Pavel de Moor, Oege Sereni, Damien Univ Oxford Programming Tools Grp Oxford OX1 2JD England
Inference of static types for local variables in Java bytecode is the first step of any serious tool that manipulates bytecode, be it for decompilation, transformation or analysis. It is important, therefore, to perfo... 详细信息
来源: 评论
Sound and Extensible Renaming for Java  08
Sound and Extensible Renaming for Java
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Schaefer, Max Ekman, Torbjoern de Moor, Oege Univ Oxford Programming Tools Grp Oxford OX1 2JD England
Descriptive names are crucial to understand code. However, good names are notoriously hard to choose and manually changing a globally visible name can be a maintenance nightmare. Hence, tool support for automated rena... 详细信息
来源: 评论
Companion to the 21st ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
Companion to the 21st ACM SIGPLAN Conference on Object-orien...
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
The proceedings contain 122 papers. The topics discussed include: scale changes everything;a growable language;faith, evolution, and programming languages: from haskell to java to links;the geography of programming;ap... 详细信息
来源: 评论
Proceedings of the 21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
Proceedings of the 21st Annual ACM SIGPLAN Conference on Obj...
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
The proceedings contain 30 papers. The topics discussed include: eliminating distinctions of class: using prototypes to model virtual classes;J&: nested intersection for scalable software composition;statically sc... 详细信息
来源: 评论