the proceedings contain 22 papers. the special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. the topics include: Protocol-safe workflow support for santa claus;seman...
ISBN:
(纸本)354066954X
the proceedings contain 22 papers. the special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. the topics include: Protocol-safe workflow support for santa claus;semantic and usage packaging for software components;tackling interoperability problems during system integration;reasoning about object clients and distributed object interaction;automatic selection of problem solving libraries based on competence matching;behavioural mapping for service substitutability;conceptual design and development of applications based on object interoperability;improving the interoperability in multi-agent systems;automatic configuration in the 2K operating system;an explicit binding model for runtime extensible operating systems;supervision of CORBA applications;on the development of object-oriented operating systems for deeply embedded systems;scalable adaptation based on decomposition;an object-oriented operating system;an object-oriented, dynamically adaptable, virtual file system for CHEOPS;eliminating garbage collection by using virtual memory techniques to implement complete object persistence and object model with exchangeable invocation semantics.
the proceedings contain 24 papers. the special focus in this conference is on Invited Paper 1 and Mixins. the topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and ...
ISBN:
(纸本)3540661565
the proceedings contain 24 papers. the special focus in this conference is on Invited Paper 1 and Mixins. the topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and mixins;propagating class and method combination;a study of the allocation behavior of the SPECjvm98 java benchmarks;visualizing reference patterns for solving memory leaks in java;dynamic query-based debugging;foundations for virtual types;unifying genericity;an object-oriented effects system;providing persistent objects in distributed systems;inlining of virtual methods;modular statically typed multimethods;multi-method dispatch using multiple row displacement;internal iteration externalized;type-safe delegation for run-time component adaptation;towards automatic specialization of java programs;wide classes;an approach to classify semi-structured objects;object-orientedprogramming on the network;providing fine-grained access control for java programs;formal specification and prototyping of CORBA systems;a process algebraic specification of the new asynchronous CORBA messaging service;object-orientedprogramming.
the proceedings contain 5 papers. the topics discussed include: assessing primitives performance on multi-stage execution;maintaining canonical form after edge deletion;extending SHAPES for SIMD architectures - an app...
ISBN:
(纸本)9781450358040
the proceedings contain 5 papers. the topics discussed include: assessing primitives performance on multi-stage execution;maintaining canonical form after edge deletion;extending SHAPES for SIMD architectures - an approach to native support for struct of arrays in languages;GraalSqueak: a fast SmallTalk bytecode interpreter written in an AST interpreter framework;and shared memory implementations of protocol programming languages, data-race-free.
this chapter contains summaries of the presentations given at the Intercontinental Workshop on Aliasing in object-oriented Systems (IWAOOS'99) at the europeanconference on object-orientedprogramming (ecoop'9...
详细信息
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 paper argues that the current OO technology does not support reuse and configurability in an effective way, this problem can be addressed by augmenting OO Analysis and Design with feature modeling and by applying...
详细信息
this paper argues that the current OO technology does not support reuse and configurability in an effective way, this problem can be addressed by augmenting OO Analysis and Design with feature modeling and by applying generative implementation techniques. Feature modeling allows capturing the variability of domain concepts, Concrete concept instances can then be synthesized from abstract specifications. Using a simple example of a configurable list component, we demonstrate the application of feature modeling and how to implement a feature model as a generator. We introduce the concepts of configuration repositories and configuration generators and show how to implement them using object-oriented, generic, and generative language mechanisms. Interestingly, a configuration repository represents an effective approach for typing synthesized recursive classes. the configuration generator utilizes C++ template metaprogramming, which enables its execution at compile-time. Copyright (C) 2000 John Wiley & Sons, Ltd.
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.
An effects systems describes how state may be accessed during the execution of some program component. this information is used to assist reasoning about a program, such as determining whether data dependencies may ex...
详细信息
ISBN:
(纸本)3540661565
An effects systems describes how state may be accessed during the execution of some program component. this information is used to assist reasoning about a program, such as determining whether data dependencies may exist between two computations. We define an effects system for Java that preserves the abstraction facilities that make object-orientedprogramming languages attractive. Specifically, a subclass may extend abstract regions of mutable state inherited from the superclass. the effects system also permits an object's state to contain the state of wholly-owned subsidiary objects. In this paper, we describe a set of annotations for declaring permitted effects in method headers, and show how the actual effects in a method body can be checked against the permitted effects.
object-orientedprogramming techniques have been used with great success for some time. But the techniques of object-orientedprogramming have been largely confined to the single address space, and have not been appli...
详细信息
ISBN:
(纸本)3540661565
object-orientedprogramming techniques have been used with great success for some time. But the techniques of object-orientedprogramming have been largely confined to the single address space, and have not been applicable to distributed systems. Recent advances in language technology have allowed a change in the way distributed systems are constructed that does allow real object-orientedprogramming on the network. But these advances also change some of our most basic conceptions about the relationship between processor and code, and what it is that constitutes a computer. We will argue that a new computing architecture, based around the ideas of the network and full object-orientation, will soon become the dominant computing architecture, allowing us to tie together large numbers of devices but requiring that we think and design in entirely new ways.
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.
暂无评论