咨询与建议

限定检索结果

文献类型

  • 1,381 篇 会议
  • 107 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 1,491 篇 电子文献
  • 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,422 篇 英文
  • 69 篇 其他
检索条件"任意字段=1987 Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 1987"
1491 条 记 录,以下是251-260 订阅
排序:
programming With Time Cyber-physical programming with Impromptu  10
Programming With Time Cyber-physical programming with Improm...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Sorensen, Andrew Gardner, Henry Australian Natl Univ Canberra ACT 0200 Australia
The act of computer programming is generally considered to be temporally removed from a computer program's execution. In this paper we discuss the idea of programming as an activity that takes place within the tem... 详细信息
来源: 评论
Pure and Declarative Syntax Definition: Paradise Lost and Regained  10
Pure and Declarative Syntax Definition: Paradise Lost and Re...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Kats, Lennart C. L. Visser, Eelco Wachsmuth, Guido Delft Univ Technol NL-2600 AA Delft Netherlands
Syntax definitions are pervasive in modern software systems, and serve as the basis for language processing tools like parsers and compilers. Mainstream parser generators pose restrictions on syntax definitions that f... 详细信息
来源: 评论
Lime: a Java-Compatible and Synthesizable Language for Heterogeneous Architectures  10
Lime: a Java-Compatible and Synthesizable Language for Heter...
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Auerbach, Joshua Bacon, David F. Cheng, Perry Rabbah, Rodric IBM Research New York NY USA
The halt in clock frequency scaling has forced architects and language designers to look elsewhere for continued improvements in performance. We believe that extracting maximum performance will require compilation to ... 详细信息
来源: 评论
Registration-Based Language Abstractions  10
Registration-Based Language Abstractions
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Davis, Samuel Kiczales, Gregor Univ British Columbia Dept Comp Sci Vancouver BC V6T 1W5 Canada
programming language innovation has been hindered by the difficulty of making changes to existing languages. A key source of difficulty is the tyrannical nature of existing approaches to realizing languages-adding a n... 详细信息
来源: 评论
Component Adaptation and Assembly Using Interface Relations  10
Component Adaptation and Assembly Using Interface Relations
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Kell, Stephen Univ Cambridge Comp Lab Cambridge CB3 0FD England
Software's expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. More modular non-invasive approaches ar... 详细信息
来源: 评论
Type Classes as objects and Implicits  10
Type Classes as Objects and Implicits
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Oliveira, Bruno C. D. S. Moors, Adriaan Odersky, Martin Seoul Natl Univ ROSAEC Ctr Seoul 151 South Korea
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important challenges in software engineering and p... 详细信息
来源: 评论
The Tower of Babel Did Not Fail  10
The Tower of Babel Did Not Fail
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Adamczyk, Paul Hafiz, Munawar Univ Illinois Chicago IL 60680 USA
Fred Brooks' retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interpretations, comes from the communicatio... 详细信息
来源: 评论
Tribal Ownership  10
Tribal Ownership
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Cameron, Nicholas Noble, James Wrigstad, Tobias Victoria Univ Wellington Wellington New Zealand Uppsala Univ Uppsala Sweden
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a program's runtime object ownership struct... 详细信息
来源: 评论
Modular Logic Metaprogramming  10
Modular Logic Metaprogramming
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Klose, Karl Ostermann, Klaus Aarhus Univ DK-8000 Aarhus C Denmark Univ Marburg D-35032 Marburg Germany
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate... 详细信息
来源: 评论
From OO to FPGA: Fitting Round objects into Square Hardware?  10
From OO to FPGA: Fitting Round Objects into Square Hardware?
收藏 引用
conference on object oriented programming systems, languages and applications/SPLASH 2010
作者: Kou, Stephen Palsberg, Jens Univ Calif Los Angeles UCLA Comp Sci Dept Los Angeles CA 90095 USA
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energy-intensive operations in order to reduce overall energy consumption and increase battery life. However, curren... 详细信息
来源: 评论