咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是271-280 订阅
排序:
Concurrent programming with Revisions and Isolation Types  10
Concurrent Programming with Revisions and Isolation Types
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Burckhardt, Sebastian Baldassin, Alexandro Leijen, Daan Univ Estadual Campinas Campinas SP Brazil
Building applications that are responsive and can exploit parallel hardware while remaining simple to write, understand, test, and maintain, poses an important challenge for developers. In particular, it is often desi... 详细信息
来源: 评论
Managing Ambiguity in programming by Finding Unambiguous Examples  10
Managing Ambiguity in Programming by Finding Unambiguous Exa...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Arnold, Kenneth C. Lieberman, Henry MIT Media Lab Mind Machine Project Cambridge MA 02139 USA
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming environments to work with informal descri... 详细信息
来源: 评论
2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/oopsla'10 workshop summary
2010 international workshop on foundations of object-oriente...
收藏 引用
ACM International conference Companion on object oriented programming systems languages and applications Companion, SPLASH '10
作者: Aldrich, Jonathan Siek, Jeremy Carnegie Mellon University United States University of Colorado Boulder United States
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and... 详细信息
来源: 评论
Concurrency by Modularity: Design Patterns, a Case in Point  10
Concurrency by Modularity: Design Patterns, a Case in Point
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Rajan, Hridesh Kautz, Steven M. Rowcliffe, Wayne Iowa State Univ Dept Comp Sci Ames IA 50010 USA
General purpose object-oriented programs typically aren't embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To address this challenge, in the P (a) ... 详细信息
来源: 评论
Refactoring References for Library Migration  10
Refactoring References for Library Migration
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Kapur, Puneet Cossette, Brad Walker, Robert J. Univ Calgary Dept Comp Sci Calgary AB T2N 1N4 Canada
Automated refactoring is a key feature of modern IDEs. Existing refactorings rely on the transformation of source code declarations, in which references may also be transformed as a side effect. However, there exist s... 详细信息
来源: 评论
Homogeneous Family Sharing  10
Homogeneous Family Sharing
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Qi, Xin Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
Recent work has introduced class sharing as a mechanism for adapting a family of related classes with new functionality. This paper introduces homogeneous family sharing, implemented in the J&(h) language, in whic... 详细信息
来源: 评论
A Simple Inductive Synthesis Methodology and its applications  10
A Simple Inductive Synthesis Methodology and its Application...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Itzhaky, Shachar Gulwani, Sumit Immerman, Neil Sagiv, Mooly Tel Aviv Univ Tel Aviv Israel Univ Massachusetts Amherst MA 01003 USA Stanford Univ Stanford CA 94305 USA
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper, we present a new algorithmic methodology... 详细信息
来源: 评论
Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects  10
Supporting Dynamic, Third-Party Code Customizations in JavaS...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Lerner, Benjamin S. Venter, Herman Grossman, Dan Univ Washington Seattle WA 98195 USA
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery format has sparked extremely enthusiastic ... 详细信息
来源: 评论
METAFJIG A Meta-Circular Composition Language for Java-like Classes  10
METAFJIG A Meta-Circular Composition Language for Java-like ...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Servetto, Marco Zucca, Elena Univ Genoa Dipartimento Informat & Sci Informazi Genoa Italy
We propose a Java-like language where class definitions are first class values and new classes can be derived from existing ones by exploiting the full power of the language itself, used on top of a small set of primi... 详细信息
来源: 评论
Composable Specifications for Structured Shared-Memory Communication  10
Composable Specifications for Structured Shared-Memory Commu...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Wood, Benjamin P. Sampson, Adrian Ceze, Luis Grossman, Dan Univ Washington Seattle WA 98195 USA
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approach complements past efforts for improv... 详细信息
来源: 评论