ecoop Workshop on object-Orientation and Operating Systems (ecoop-OOOSWS) workshops aim to bring together researchers and developers working on object-oriented operating systems and to provide a platform for discussin...
详细信息
ISBN:
(纸本)354066954X
ecoop Workshop on object-Orientation and Operating Systems (ecoop-OOOSWS) workshops aim to bring together researchers and developers working on object-oriented operating systems and to provide a platform for discussing problems arising from the application of object-orientation to operating systems and solutions for them. This paper summarizes ecoop-OOOSWS'99 with its invited talk, eleven paper presentations and lively discussions between and after them. It gives a fairly distinct idea of where research in object-oriented operating systems is going to, according to the opinions of the participants.
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a lambda-calculus with records and ref...
详细信息
ISBN:
(纸本)3540661565
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a lambda-calculus with records and references, we obtain a system with an intuitive operational semantics. New classes are produced by applying mixins to superclasses. objects are represented by records and produced by instantiating classes. The type system for objects uses only functional, record, and reference types, and there is a clean separation between subtyping and inheritance.
This paper is based on a speech delivered at the ecoop'98 conference Banquet. It is not a literal transcription of my talk, since no recording was made, but has been reconstructed ex post facto based upon my speak...
详细信息
This chapter contains a summary of the presentations given at the Workshop on Parallel/High-Performance object-oriented Scientific Computing (POOSC’99) at the european conference on object-oriented programming (ecoop...
详细信息
The goal of the First ecoop Workshop on object-oriented Databases was to bring together researchers working in the field of object-oriented databases, to discuss the work which is going on. The aim of the workshop was...
详细信息
ISBN:
(纸本)354066954X
The goal of the First ecoop Workshop on object-oriented Databases was to bring together researchers working in the field of object-oriented databases, to discuss the work which is going on. The aim of the workshop was twofold: to discuss the current status of research in the field and to critically evaluate object-oriented database systems in terms of their current usage, of their successes and limitations, and their potential for new applications. The workshop thus consisted of a number of presentations of reviewed papers and of discussions on the topics mentioned above.
This report summarizes the presentations, discussions, and thoughts expressed during the workshop sessions. Full proceedings are available as a technical report of the Department of Software Engineering and Computer S...
详细信息
ISBN:
(纸本)354066954X
This report summarizes the presentations, discussions, and thoughts expressed during the workshop sessions. Full proceedings are available as a technical report of the Department of Software Engineering and Computer Science at the University of Karlskrona/Ronneby, Sweden (http://***/).
Multimethods offer several well-known advantages over the single dispatching of conventional object-oriented languages, including a simple solution to the "binary method" problem, cleaner implementations of ...
详细信息
ISBN:
(纸本)3540661565
Multimethods offer several well-known advantages over the single dispatching of conventional object-oriented languages, including a simple solution to the "binary method" problem, cleaner implementations of the "visitor," "strategy," and similar design patterns, and a form of "open objects," However, previous work on statically typed multimethods whose arguments are treated symmetrically has required the whole program to be available in order to perform typechecking. We describe Dubious, a simple core language including first-class generic functions with symmetric multimethods, a classless object model, and modules that can be separately typechecked. We identify two sets of restrictions that ensure modular type safety for Dubious as well as an interesting intermediate point between these two. We have proved each of these modular type systems sound.
Aspect-orientedprogramming is a promising idea that can improve the quality of software by reduce the problem of code tangling and improving the separation of concerns. At ecoop’97, the first AOP workshop brought to...
详细信息
This paper reports the activities that took place during the third edition of the workshop on Experiences in object-oriented Reengineering (Previous editions were held during ecoop’97 and ecoop’98 [3] [2]). This yea...
ISBN:
(纸本)354066954X
This paper reports the activities that took place during the third edition of the workshop on Experiences in object-oriented Reengineering (Previous editions were held during ecoop’97 and ecoop’98 [3] [2]). This year seventeen participants attended the workshop. The overall organization stayed the same. Prior to the workshop each participant was asked to read the full version of the submitted papers that have been edited as internal proceedings. Then each participant presented his paper in 10 minutes followed by 10 minutes discussion. Then during the afternoon the two focus groups were formed to discuss the following topics: (1) Metrics, Visualisation and Problem Detection, and (2) Program Understanding, (Re)-documentation and Refactoring Composition. Suggested further reading are the previous edition of the proceedings [2], the proceedings of this workshop containing the full versions of the papers[1], and look at the FAMOOS Esprit project whose main goal is reengineering objectoriented applications (http://***/~famoos, http://***/projects/FAMOOS/).
The aim of this workshop was to discuss any aspect of time critical applications which are based on (a combination of) object-oriented and constraint technology: Language design, implementation, hybrid systems, tempor...
详细信息
暂无评论