咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是211-220 订阅
排序:
Kind Analysis for MATLAB  11
Kind Analysis for MATLAB
收藏 引用
2011 ACM International conference on object oriented programming systems languages and applications
作者: Doherty, Jesse Hendren, Laurie Radpour, Soroush McGill Univ Montreal PQ H3A 2T5 Canada
MATLAB is a popular dynamic programming language used for scientific and numerical programming. As a language, it has evolved from a small scripting language intended as an interactive interface to numerical libraries... 详细信息
来源: 评论
AC: Composable Asynchronous IO for Native languages  11
AC: Composable Asynchronous IO for Native Languages
收藏 引用
2011 ACM International conference on object oriented programming systems languages and applications
作者: Harris, Tim Abadi, Martin Isaacs, Rebecca McIlroy, Ross Microsoft Res Cambridge England Univ Calif Santa Cruz Santa Cruz CA 95064 USA Coll France Paris France
This paper introduces AC, a set of language constructs for composable asynchronous IO in native languages such as C/C++. Unlike traditional synchronous IO interfaces, AC lets a thread issue multiple IO requests so tha... 详细信息
来源: 评论
Automatic Fine-Grain Locking using Shape Properties  11
Automatic Fine-Grain Locking using Shape Properties
收藏 引用
2011 ACM International conference on object oriented programming systems languages and applications
作者: Golan-Gueta, Guy Bronson, Nathan Aiken, Alex Ramalingam, G. Sagiv, Mooly Yahav, Eran Tel Aviv Univ Tel Aviv Israel Stanford Univ Stanford CA 94305 USA Technion Israel Inst Technol IL-32000 Haifa Israel
We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest -i.e., the data structures may be mutated, even to the point of violating forestne... 详细信息
来源: 评论
First-Class State Change in Plaid
First-Class State Change in Plaid
收藏 引用
2011 ACM International conference on object oriented programming systems languages and applications
作者: Sunshine, Joshua Naden, Karl Stork, Sven Aldrich, Jonathan Tanter, Eric Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Coimbra P-3000 Coimbra Portugal Univ Chile Comp Sci Dept DCC PLEIAD Lab Santiago Chile
objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages provide little support for building so... 详细信息
来源: 评论
The ink language meta-metamodel for adaptive object-model frameworks
The ink language meta-metamodel for adaptive object-model fr...
收藏 引用
ACM International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH'11
作者: Acherkan, Eli Hen-Tov, Atzmon Lorenz, David H. Schachter, Lior Open University of Israel 1 University Rd. Raanana 43107 Israel Pontis Ltd. Glil Yam 46905 Israel
We present a meta-metamodel for implementing AOM systems in two languages collaboratively: Ink for structure and Java for behavior. Using two languages rather than one facilitates a style of programming that imposes a... 详细信息
来源: 评论
Safe and Atomic Run-time Code Evolution for Java and its Application to Dynamic AOP  11
Safe and Atomic Run-time Code Evolution for Java and its App...
收藏 引用
2th ACM International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)
作者: Wuerthinger, Thomas Ansaloni, Danilo Binder, Walter Wimmer, Christian Moessenboeck, Hanspeter Johannes Kepler Univ Linz Linz Austria
Dynamic updates to running programs improve development productivity and reduce downtime of long-running applications. This feature is however severely limited in current virtual machines for object-oriented languages... 详细信息
来源: 评论
Tool-supported Refactoring for JavaScript
Tool-supported Refactoring for JavaScript
收藏 引用
2th ACM International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)
作者: Feldthaus, Asger Millstein, Todd Moller, Anders Schaefer, Max Tip, Frank Aarhus Univ DK-8000 Aarhus C Denmark
Refactoring is a popular technique for improving the structure of existing programs while maintaining their behavior. For statically typed programming languages such as Java, a wide variety of refactorings have been d... 详细信息
来源: 评论
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance  11
Type checking modular multiple dispatch with parametric poly...
收藏 引用
2011 ACM International conference on object oriented programming systems languages and applications, oopsla'11
作者: Allen, Eric Hilburn, Justin Kilpatrick, Scott Luchangco, Victor Ryu, Sukyoung Chase, David Steele, Guy L. Oracle Labs United States University of Texas Austin United States KAIST Korea Republic of
In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check the... 详细信息
来源: 评论
KonohaScript: Static scripting for practical use
KonohaScript: Static scripting for practical use
收藏 引用
ACM International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH'11
作者: Kuramitsu, Kimio JST/CREST/DEOS Project Yokohama National University Japan
This demonstration presents the language design of Konoha-Script, a statically typed object-oriented scripting language. KonohaScript provides the very similar scripting experiences compared to dynamic languages. In a... 详细信息
来源: 评论
JET: Exception Checking in the Java Native Interface  11
JET: Exception Checking in the Java Native Interface
收藏 引用
2011 ACM International conference on object oriented programming systems languages and applications
作者: Li, Siliang Tan, Gang Lehigh Univ Bethlehem PA 18015 USA
Java's type system enforces exception-checking rules that stipulate a checked exception thrown by a method must be declared in the throws clause of the method. Software written in Java often invokes native methods... 详细信息
来源: 评论