咨询与建议

限定检索结果

文献类型

  • 577 篇 会议
  • 25 册 图书
  • 25 篇 期刊文献

馆藏范围

  • 627 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 522 篇 工学
    • 475 篇 计算机科学与技术...
    • 416 篇 软件工程
    • 33 篇 电气工程
    • 23 篇 控制科学与工程
    • 18 篇 信息与通信工程
    • 7 篇 生物工程
    • 5 篇 环境科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 生物医学工程(可授...
  • 87 篇 理学
    • 62 篇 数学
    • 11 篇 生物学
    • 7 篇 物理学
    • 7 篇 系统科学
    • 5 篇 化学
  • 36 篇 管理学
    • 25 篇 图书情报与档案管...
    • 12 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 9 篇 教育学
    • 9 篇 教育学
  • 8 篇 法学
    • 7 篇 社会学
    • 1 篇 法学
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
    • 2 篇 药学(可授医学、理...

主题

  • 237 篇 object oriented ...
  • 24 篇 software enginee...
  • 24 篇 object-oriented ...
  • 23 篇 programming tech...
  • 18 篇 programming lang...
  • 13 篇 semantics
  • 13 篇 logics and meani...
  • 12 篇 computer communi...
  • 11 篇 aspect oriented ...
  • 11 篇 artificial intel...
  • 9 篇 software enginee...
  • 9 篇 c++ (programming...
  • 9 篇 database managem...
  • 7 篇 specifications
  • 7 篇 it in business
  • 5 篇 computer softwar...
  • 5 篇 calculations
  • 5 篇 application prog...
  • 5 篇 computer softwar...
  • 5 篇 problem oriented...

机构

  • 7 篇 victoria univers...
  • 5 篇 carnegie mellon ...
  • 4 篇 microsoft corp r...
  • 4 篇 swiss fed inst t...
  • 3 篇 victoria univ we...
  • 3 篇 software composi...
  • 3 篇 microsoft united...
  • 3 篇 univ genoa disi ...
  • 3 篇 university of to...
  • 3 篇 object technolog...
  • 3 篇 eth zurich
  • 3 篇 university of ch...
  • 3 篇 i.b.m. thomas j....
  • 3 篇 univ geneva obje...
  • 3 篇 independent soft...
  • 3 篇 umeå university
  • 3 篇 purdue univ dept...
  • 3 篇 purdue universit...
  • 2 篇 harvey mudd coll...
  • 2 篇 universidad de m...

作者

  • 16 篇 noble james
  • 9 篇 vitek jan
  • 6 篇 davis kei
  • 6 篇 madsen ole lehrm...
  • 6 篇 jul eric
  • 5 篇 bosch j
  • 5 篇 drossopoulou sop...
  • 5 篇 de meuter wolfga...
  • 5 篇 bruce kim b.
  • 5 篇 ernst michael d.
  • 5 篇 chambers c
  • 5 篇 aldrich jonathan
  • 5 篇 mens kim
  • 5 篇 sahraoui houari ...
  • 4 篇 hirschfeld rober...
  • 4 篇 szyperski c
  • 4 篇 ducasse stéphane
  • 4 篇 homer michael
  • 4 篇 ancona davide
  • 4 篇 yonezawa akinori

语言

  • 614 篇 英文
  • 11 篇 其他
  • 2 篇 中文
检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"
627 条 记 录,以下是311-320 订阅
排序:
Should superclasses be abstract?
收藏 引用
european conference on object oriented programming, ecoop 1994
作者: Hürsch, Walter L. College of Computer Science Northeastern University 360 Huntington Avenue BostonMA02115 United States
In object-oriented design and languages, abstractness of classes is a concept whose relationship to other concepts is not yet fully understood and agreed upon. This paper clarifies the concept of abstractness and exam... 详细信息
来源: 评论
Declarative object-oriented programming: Inheritance, subtyping and prototyping
收藏 引用
european conference on object oriented programming, ecoop 1994
作者: Alagić, S. Sunderraman, R. Bagai, R. Department of Computer Science Wichita State University WichitaKS67260-0083 United States
A design and implementation of a declarative object-oriented language is presented. The language is strongly and mostly statically typed and supports software reuse techniques such as inheritance, subtype and parametr... 详细信息
来源: 评论
On including part hierarchies in object-oriented languages, with an implementation in Smalltalk
收藏 引用
european conference on object-oriented programming, ecoop 1987
作者: Blake, Edwin Cook, Steve Department of Computer Science Queen Mary College London University Mile End Road LondonE1 4NS United Kingdom
来源: 评论
General framework for inheritance management and method dispatch in object-oriented languages
General framework for inheritance management and method disp...
收藏 引用
Proceedings of the 1997 11th european conference on object-oriented programming, ecoop
作者: Holst, Wade Szafron, Duane
来源: 评论
Inference and Checking of object Ownership  12
Inference and Checking of Object Ownership
收藏 引用
26th european conference on object-oriented programming (ecoop)
作者: Huang, Wei Dietl, Werner Milanova, Ana Ernst, Michael D. Rensselaer Polytech Inst Troy NY 12181 USA Univ Washington Seattle WA 98195 USA
Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has h... 详细信息
来源: 评论
IceDust: Incremental and eventual computation of derived values in persistent object graphs  30
IceDust: Incremental and eventual computation of derived val...
收藏 引用
30th european conference on object-oriented programming, ecoop 2016
作者: Harkes, Daco C. Groenewegen, Danny M. Visser, Eelco Delft University of Technology Netherlands
Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materializ... 详细信息
来源: 评论
Soundness of object-oriented Languages with Coinductive Big-Step Semantics  12
Soundness of Object-Oriented Languages with Coinductive Big-...
收藏 引用
26th european conference on object-oriented programming (ecoop)
作者: Ancona, Davide Univ Genoa DISI Genoa Italy
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem ... 详细信息
来源: 评论
Integrating human factors into use cases and object-oriented methods  13th
Integrating human factors into use cases and object-oriented...
收藏 引用
13th european conference on object-oriented programming (ecoop 99)
作者: Seffah, A Hayne, C Comp Res Ctr Montreal Montreal PQ Canada
This article summarizes the workshop on human factors in use cases and object-oriented development methods. The following questions were the main focus of the workshop: Can use cases be improved by the incorporation o... 详细信息
来源: 评论
object-oriented programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains the proceedings of the 8th european conference on object-oriented programming (ECCOP '94), held in Bologna, Italy in July 1994. ecoop is the premier european event on object-oriented programmi... 详细信息
来源: 评论
Implementing layered designs with mixin layers  12th
Implementing layered designs with mixin layers
收藏 引用
12th european conference on object-oriented programming, ecoop 1998
作者: Smaragdakis, Yannis Batory, Don Department of Computer Sciences The University of Texas at Austin AustinTX78712 United States
Mixin layers are a technique for implementing layered object-oriented designs (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scaled to a multiple-class granula... 详细信息
来源: 评论