This is a report on the OOPSLA '94 "object Model Patterns" workshop. The goal of the workshop was to further each of our understanding of object model patterns. The discussions were lively, challenging, ...
详细信息
ISBN:
(纸本)0897917499
This is a report on the OOPSLA '94 "object Model Patterns" workshop. The goal of the workshop was to further each of our understanding of object model patterns. The discussions were lively, challenging, and very stimulating. This report expresses our perspective of this invigorating time together.
AliasJava is a type annotation system that extends Java to express how data is confined within, passed among, or shared between objects in a software system. We present an implementation of the AliasJava system as Jav...
详细信息
ISBN:
(纸本)159593491X
AliasJava is a type annotation system that extends Java to express how data is confined within, passed among, or shared between objects in a software system. We present an implementation of the AliasJava system as Java 1.5 annotations and an analysis using the Eclipse infrastructure.
object-oriented languages generally lack support for persistent objects-that is objects that survive the process or programming session. On the other hand, database systems lack the expressiblity of object-oriented la...
详细信息
In object-oriented languages like Smalltalk-80, browsers and i ipeciors are used to provide insight into the static world of objects and their relations, debuggers are used to inspect and modify states of computation....
详细信息
Aspect-orientedprogramming is considered a promising new technology. As object-orientedprogramming did before, it is beginning to pervade all areas of software engineering. With its growing popularity, practitioners...
详细信息
This paper describes a strategy to transform Data Flow Analysis into objectoriented Design. This transformation is performed by extracting information from the Data Flow Model, by enriching with Design decision and b...
详细信息
ISBN:
(纸本)0897912845
This paper describes a strategy to transform Data Flow Analysis into objectoriented Design. This transformation is performed by extracting information from the Data Flow Model, by enriching with Design decision and by finally producing an objectoriented Design Model. Semiformal transformation rules are described. Also a special notation is introduced to describe the objectoriented Design Model. The Model used to represent Data Flow Analysis is the one originally proposed by Yourdon, complemented with Ward-Mellor's Real Time extensions (the "Essential Model").
This work introduces the concept of object views, in particular language support for specifying constraints on object usage. VJava which is an extension to the Java programming language for expressing object views is ...
详细信息
This work introduces the concept of object views, in particular language support for specifying constraints on object usage. VJava which is an extension to the Java programming language for expressing object views is presented. A translator is described that converts VJava programs to base Java augmented with calls to a flat software shared-memory system running on a cluster of workstations. A shared whiteboard application is used to verify the programmability of object views, as well as to quantify their performance impact.
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and...
详细信息
ISBN:
(纸本)9781450315630
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors. Submissions to this workshop were invited in the general area of foundations of object-oriented languages, object-oriented languages, including integration with other paradigms and extensions, such as aspects, components, and meta-programming.
暂无评论