咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,492 篇 电子文献
  • 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,423 篇 英文
  • 69 篇 其他
检索条件"任意字段=1987 Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 1987"
1492 条 记 录,以下是371-380 订阅
排序:
Grey-box specifications for object-oriented runtime Components
Grey-box specifications for object-oriented runtime Componen...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Welsch, Yannick Software Technology Group University of Kaiserslautern Germany
We present a formal specification technique for objectoriented program components based on their boundary message behaviour. Component specifications describe restrictions on the set of message traces for a component ... 详细信息
来源: 评论
Checking API protocol compliance in java
Checking API protocol compliance in java
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Bierhoff, Kevin Carnegie Mellon University United States
Reusable APIs often define usage protocols. The author previously developed a sound and modular type system that checks compliance to typestate-based protocols while affording a great deal of aliasing flexibility. Thi... 详细信息
来源: 评论
Essential programming paradigm
Essential programming paradigm
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Knaus, Claude Y.
The chronic difficulty of software maintenance can be traced back to widely held assumptions that inhibit progress in computer science. In the last instance, the idiosyncrasies of programming paradigms must be held ac... 详细信息
来源: 评论
Automatic code generation and solution estimate for object-oriented embedded software
Automatic code generation and solution estimate for object-o...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Ferreira, Ronaldo Rodrigues Porto Alegre Brazil
This work tailors an Alloy model translator to Java code and an estimate tool for physical resources optimization into a design-flow. Experimental results show distinct implementation strategies only varying data stru... 详细信息
来源: 评论
Novel language syntax to enhance readability : White space, parameter sets, & control structures
Novel language syntax to enhance readability : White space, ...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Kussmaul, Clifton Department of Mathematics and Computer Science Muhlenberg College Allentown PA United States
This poster describes the preliminary status of a project to investigate novel syntax features to enhance programming language readability. In particular, we present sample syntax for the use of white space, multiple ... 详细信息
来源: 评论
Alias count facilitate ownership transfer
Alias count facilitate ownership transfer
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Kumar, Duraisamy S. Pradeep College of Engineering Guindy Anna University Chennai India
Existing ownership system forces fixed ownership, whereby an object cannot change its owner at runtime. Transferring ownership dynamically may produce security holes like reference exposure, dangling pointer, etc., th... 详细信息
来源: 评论
Delegation-based Semantics for Modularizing Crosscutting Concerns  08
Delegation-based Semantics for Modularizing Crosscutting Con...
收藏 引用
23rd Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Schippers, Hans Janssens, Dirk Haupt, Michael Hirschfeld, Robert Univ Antwerp Formal Tech Software Engn Antwerp Belgium Univ Potsdam Hasso Plattner Inst Software Architecture Grp Berlin Germany
We describe semantic mappings of four high-level programming languages to our delegation-based machine model for aspect-oriented programming. One of the languages is a class-based object-oriented one. The other three ... 详细信息
来源: 评论
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture
Tool support for statically checking the structural conforma...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Abi-Antoun, Marwan Aldrich, Jonathan School of Computer Science Carnegie Mellon University United States
Maintaining the conformance of an implementation to its architecture is difficult in practice since developers often make changes that degrade the architectural structure. We present tools for statically checking the ... 详细信息
来源: 评论
SyQL: An object oriented, fuzzy, temporal query language for repositories of software artifacts
SyQL: An object oriented, fuzzy, temporal query language for...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Bianco, Mirco Sillitti, Alberto Succi, Alberto Center for Applied Software Engineering Free University of Bolzano-Bozen Via della Mostra 4 I-39100 Bolzano-Bozen Italy
Data mining on software products and process metrics is hard. The relations between them are different and may vary. We present a data manipulation language called System Query Language, which partially overcomes the ... 详细信息
来源: 评论
Towards harmony-oriented programming
Towards harmony-oriented programming
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Fleissner, Sebastian Baniassad, Elisa Department of Computer Science and Engineering Chinese University of Hong Kong Shatin N.T. Hong Kong
object-oriented programming and other programming paradigms are heavily influenced by Western thought and reasoning, which focuses on understanding the world in terms of categories, objects and their attributes: A typ... 详细信息
来源: 评论