The proceedings contain 26 papers. The special focus in this conference is on Aspect oriented Software Development, Java Virtual Machines, Miscellaneous and Distributed Systems. The topics include: Semantic models for...
ISBN:
(纸本)3540437592
The proceedings contain 26 papers. The special focus in this conference is on Aspect oriented Software Development, Java Virtual Machines, Miscellaneous and Distributed Systems. The topics include: Semantic models for distributed object reflection;dynamically composable collaborations with delegation layers;space- and time-efficient implementation of the java object model;automatic java application partitioning;supporting unanticipated dynamic adaptation of application behaviour;a simple and practical approach to unit testing;modular internet programming with cells;an approach to programming autonomous systems;engineering event-based systems with scopes;pattern-based design and implementation of an xml and RDF parser and interpreter;on variance-based subtyping for parametric types;type-safe prototype-based component evolution;a simple and effective technique for reducing the penalty of dynamic class loading;a better quasi-optimal bit-vector encoding of tree hierarchies;semantics-based composition of class hierarchies;behavioral compatibility of self-typed theories and a formal framework for java separate compilation.
The proceedings contain 20 papers. The special focus in this conference is on objectoriented Technology. The topics include: Reflection and meta-level architectures;exception handling in objectoriented systems;objec...
ISBN:
(纸本)3540415130
The proceedings contain 20 papers. The special focus in this conference is on objectoriented Technology. The topics include: Reflection and meta-level architectures;exception handling in objectoriented systems;object-orientation and operating systems;formal techniques for java programs;component-orientedprogramming;tools and environments for understanding object-oriented concepts;quantitative approaches in object-oriented software engineering;metadata and adaptive object-models;objectoriented architectural evolution;specification, implementation, and validation of objectoriented embedded systems;quality of service in distributed object systems;workshop on aspects and dimensions of concern and mobile code, internet security, and e-commerce.
object-oriented design and modeling with UML has become a central part of software development in industry. Software inspections are used to cost-efficiently increase the quality of the developed software by early def...
详细信息
The proceedings contain 23 papers. The special focus in this conference is on UML and object-orientedprogramming. The topics include: Towards a unified programming language;creative object-oriented modelling;design p...
ISBN:
(纸本)3540676600
The proceedings contain 23 papers. The special focus in this conference is on UML and object-orientedprogramming. The topics include: Towards a unified programming language;creative object-oriented modelling;design pattern application in UML;a modeling language for object-oriented frameworks;extending moby with inheritance-based subtyping;a basic model of typed components;on inner classes;a smooth extension of java with mixins;a mixin-based, semantics-based approach to reusing domain-specific programming languages;generic wrappers;copying and comparing;developing security systems in the real world;distributed asynchronous collections;design templates for collective behavior;ionic types;load-time structural reflection in java;runtime support for type-safe dynamic java classes;openJIT;using objects for next generation communication services;empirical study of object layout strategies and optimization techniques;optimizing java programs in the presence of exceptions and automated test case generation from dynamic models.
Regular types have been proposed as a foundation for statically typed processing of XML and other forms of tree-structured data. To date, however, regular types have only been explored in specialpurpose languages (e.g...
详细信息
C++ object layout schemes rely on (sometimes numerous) compiler generated fields. We describe a new language-independent object layout scheme, which is space optimal, i.e., objects are contiguous, and contain no compi...
详细信息
Component-based programming is currently carried out using mainstream object-oriented languages. The languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility....
详细信息
ISBN:
(纸本)3540437592
Component-based programming is currently carried out using mainstream object-oriented languages. The languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. This paper investigates abstractions for component-orientedprogramming on the programming language level. We propose a simple prototype-based model for first-class components on top of a class-based object-oriented language. The model is formalized as an extension of Featherweight Java. Our calculus includes a minimal set of primitives to dynamically build, extend, and compose software components, while supporting features like explicit context dependencies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.
We describe a module mechanism, which we call difference-based modules, and an object-oriented language we call MixJuice. MixJuice is an enhancement tu the Java language that adopts difference-based modules instead of...
详细信息
ISBN:
(纸本)3540437592
We describe a module mechanism, which we call difference-based modules, and an object-oriented language we call MixJuice. MixJuice is an enhancement tu the Java language that adopts difference-based modules instead of Java's original module mechanism, Modules are units of information hiding, reuse and separate compilation. We have completely separated the class mechanism and the module mechanism, and then unified the module mechanism and the differential programming mechanism. Although this module mechanism is simpler than that of Java, it enhances ease with which programs can be extended, reused and maintained. Collaborations that crosscut several classes call be separated into different modules. Modules are composable in the same way as mixins. The composition of modules sometimes causes name collision and an interesting phenomenon, which we call implementation defects. We describe solutions to these problems.
This report describes the results of a one-day workshop on Generative programming (GP) at ecoop’01. The goal of the workshop was to discuss the state-of-the-art of generative programming, share experience, consolidat...
详细信息
A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under ...
详细信息
ISBN:
(纸本)3540437592
A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under them. The model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.
暂无评论