咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是271-280 订阅
排序:
Reasoning about object-oriented programs that use subtypes  90
Reasoning about object-oriented programs that use subtypes
收藏 引用
1990 european conference on object-oriented programming on object-oriented programming Systems, Languages, and Applications, OOPSLA/ecoop 1990
作者: Leavens, Gary T. Weihl, William E. Department of Computer Science Iowa State University AmesIA50011 United States Laboratory for Computer Science Massachusetts Institute of Technology CambridgeMA02139 United States
Programmers informally reason about object-oriented programs by using subtype relationships to classify the behavior of objects of different types and by letting su-pertypes stand for all their subtypes. We describe f... 详细信息
来源: 评论
Context-oriented programming for mobile devices: JCop on android
Context-oriented programming for mobile devices: JCop on and...
收藏 引用
3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011
作者: Schuster, Christopher Appeltauer, Malte Hirschfeld, Robert Department of Computer Science University of California Davis United States Software Architecture Group Hasso-Plattner-Institut Germany
The behavior of mobile applications is particularly affected by their execution context, such as location and state a the mobile device. Among other approaches, context-oriented programming can help to achieve context... 详细信息
来源: 评论
object-relative addressing: Compressed pointers in 64-bit Java virtual machines
收藏 引用
21st european conference on object-oriented programming (ecoop 2007)
作者: Venstermans, Kris Eeckhout, Lieven De Bosschere, Koen Univ Ghent ELIS Dept Ghent Belgium
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. This paper reduces the memory usage of 64-bit pointers in the context o... 详细信息
来源: 评论
A calculus of untyped aspect-oriented programs
收藏 引用
17th european conference on object-oriented programming (ecoop 2003)
作者: Jagadeesan, R Jeffrey, A Riely, J Depaul Univ CTI Chicago IL 60604 USA
Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspects is typically specified by appealing to an u... 详细信息
来源: 评论
What is "object-oriented programming"?
收藏 引用
european conference on object-oriented programming, ecoop 1987
作者: Stroustrup, Bjarne AT&T Bell Laboratories Murray HillNJ07974 United States
"object-oriented programming" and "Data Abstraction" have become very common terms. Unfortunately, few people agree on what they mean. I will offer informal definitions that appear to make sense in... 详细信息
来源: 评论
Essential AOP: The A Calculus
Essential AOP: The A Calculus
收藏 引用
24th european conference on object-oriented programming (ecoop 2010)
作者: De Fraine, Bruno Ernst, Erik Suedholt, Mario Vrije Univ Brussel Software Languages Lab Brussels Belgium Aarhus Univ Dept Comp Sci DK-8000 Aarhus C Denmark Ecole Mines Nantes Dept Informat Nantes France
Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification with a calculus that models essential AOP, both simp... 详细信息
来源: 评论
Babelsberg/JS A Browser-Based Implementation of an object Constraint Language
Babelsberg/JS A Browser-Based Implementation of an Object Co...
收藏 引用
28th european conference on object-oriented programming (ecoop)
作者: Felgentreff, Tim Borning, Alan Hirschfeld, Robert Lincke, Jens Ohshima, Yoshiki Freudenberg, Bert Krahn, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Washington Seattle WA 98195 USA Viewpoints Res Inst Los Angeles CA USA SAP Labs Commun Design Grp San Francisco CA USA
Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling,... 详细信息
来源: 评论
Type consistency of queries in an object-oriented database system  90
Type consistency of queries in an object-oriented database s...
收藏 引用
1990 european conference on object-oriented programming on object-oriented programming Systems, Languages, and Applications, OOPSLA/ecoop 1990
作者: Straube, Dave D. Tamer Özsu, M. Laboratory for Database Systems Research Department of Computing Science University of Alberta EdmontonABT6G 2H1 Canada Banyan Systems Inc. 115 Flanders Road WestboroMA01581 United States
Queries in object-oriented databases can return non-homogeneous sets of objects when no type restrictions are placed on the inputs to the query. The tradition has been to force homogeneity on the result by restricting... 详细信息
来源: 评论
ecoop 2010 Workshop Proceedings - Workshop 6: Workshop on the Implementation, Compilation, Optimization of object-oriented Languages, Programs and Systems, ICOOOLPS 2010
ECOOP 2010 Workshop Proceedings - Workshop 6: Workshop on th...
收藏 引用
24th european conference on object-oriented programming, ecoop 2010 - 6th Workshop on the Implementation, Compilation, Optimization of object-oriented Languages, Programs and Systems, ICOOOLPS 2010
The proceedings contain 3 papers. The topics discussed include: towards a full multiple-inheritance virtual machine;empirical assessment of C++-like implementations for multiple inheritance;and efficient compilation o...
来源: 评论
Reverse inheritance in statically typed object-oriented programming languages
Reverse inheritance in statically typed object-oriented prog...
收藏 引用
24th european conference on object-oriented programming, ecoop 2010 - 4th Workshop on Mechanisms for Specialization, Generalization and Inheritance, MASPEGHI'10
作者: ChirilǍ, Ciprian-Bogdan Sakkinen, Markku Lahire, Philippe Jurca, Ioan University Politehnica of Timişoara Romania University of Jyväskylä Finland University of Nice France
Reverse inheritance is a new class reuse mechanism, an experimental implementation of which we have built for Eiffel. It enables a more natural design approach, factorization of common features (members), insertion of... 详细信息
来源: 评论