咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
The Two-State Solution Native and Serializable Continuations Accord  10
The Two-State Solution Native and Serializable Continuations...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: McCarthy, Jay A. Brigham Young Univ Dept Comp Sci Provo UT 84602 USA
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and more productivity for the programmers ... 详细信息
来源: 评论
The object-oriented trivia show (TOOTS)
The object-oriented trivia show (TOOTS)
收藏 引用
ACM International conference Companion on object oriented programming systems languages and applications Companion, SPLASH '10
作者: Gray, Jeff White, Jules University of Alabama Department of Computer Science Tuscaloosa AL United States Virginia Tech. Dept. of Electrical and Computer Engineering Blacksburg VA United States
oopsla has a longstanding tradition of being a forum for discussing the cutting edge of technology in a fun and participatory environment. The type of events sponsored by oopsla sometimes border on the unconventional.... 详细信息
来源: 评论
Language Virtualization for Heterogeneous Parallel Computing  10
Language Virtualization for Heterogeneous Parallel Computing
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Chafi, Hassan DeVito, Zach Moors, Adriaan Rompf, Tiark Sujeeth, Arvind K. Hanrahan, Pat Odersky, Martin Olukotun, Kunle Stanford Univ Stanford CA 94305 USA
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e. g. OpenMP, MPI, CUDA, OpenCL). However, these models do lit... 详细信息
来源: 评论
Faith, Hope, and Love An essay on software science's neglect of human factors  10
Faith, Hope, and Love An essay on software science's neglect...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Hanenberg, Stefan Univ Duisburg Essen Inst Comp Sci & Business Informat Syst Essen Germany
Research in the area of programming languages has different facets - from formal reasoning about new programming language constructs (such as type soundness proofs for new type systems) over inventions of new abstract... 详细信息
来源: 评论
Reasoning about Multiple Related Abstractions with MultiStar  10
Reasoning about Multiple Related Abstractions with MultiStar
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: van Staden, Stephan Calcagno, Cristiano Swiss Fed Inst Technol Zurich Switzerland Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England
Encapsulated abstractions are fundamental in object-oriented programming. A single class may employ multiple abstractions to achieve its purpose. Such abstractions are often related and combined in disciplined ways. T... 详细信息
来源: 评论
The Spoofax Language Workbench Rules for Declarative Specification of languages and IDEs  10
The Spoofax Language Workbench Rules for Declarative Specifi...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Kats, Lennart C. L. Visser, Eelco Delft Univ Technol NL-2600 AA Delft Netherlands
Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-pr... 详细信息
来源: 评论
Specifying and Implementing Refactorings  10
Specifying and Implementing Refactorings
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Schaefer, Max de Moor, Oege Univ Oxford Comp Lab Oxford OX1 2JD England
Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, however, surprisingly difficult to specify t... 详细信息
来源: 评论
Back to the Futures: Incremental Parallelization of Existing Sequential Runtime systems  10
Back to the Futures: Incremental Parallelization of Existing...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Swaine, James Tew, Kevin Dinda, Peter Findler, Robert Bruce Flatt, Matthew Northwestern Univ Evanston IL 60208 USA Univ Utah Salt Lake City UT 84112 USA
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed run-time systems that have an internally sequential execution model. Adding support for parallelism in t... 详细信息
来源: 评论
An Experiment About Static and Dynamic Type systems Doubts About the Positive Impact of Static Type systems on Development Time  10
An Experiment About Static and Dynamic Type Systems Doubts A...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Hanenberg, Stefan Univ Duisburg Essen Inst Comp Sci & Business Informat Syst D-45117 Essen Germany
Although static type systems are an essential part in teaching and research in software engineering and computer science, there is hardly any knowledge about what the impact of static type systems on the development t... 详细信息
来源: 评论
Task Types for Pervasive Atomicity  10
Task Types for Pervasive Atomicity
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Kulkarni, Aditya Liu, Yu David Smith, Scott F. SUNY Binghamton Binghamton NY 13902 USA Johns Hopkins Univ Baltimore MD 21218 USA
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the number of possible interleavings the pro... 详细信息
来源: 评论