In object-oriented design and languages, abstractness of classes is a concept whose relationship to other concepts is not yet fully understood and agreed upon. This paper clarifies the concept of abstractness and exam...
详细信息
A design and implementation of a declarative object-oriented language is presented. The language is strongly and mostly statically typed and supports software reuse techniques such as inheritance, subtype and parametr...
详细信息
Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has h...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two such systems: Universe Types and Ownership Types. We present an objective metric defining a "best typing" for these type systems, and develop an inference approach that maximizes the metric. The programmer can influence the inference by adding partial annotations to the program. We implemented the approach on top of the Checker Framework and present the results of an experimental evaluation.
Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materializ...
详细信息
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem ...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem can be solved by interpreting coinductively the rules for the standard big-step operational semantics of a Java-like language, thus making the claim of soundness more intuitive: whenever a program is well-typed, its coinductive operational semantics returns a value. Indeed, coinduction allows non-terminating computations to return values;this is proved by showing that the set of proof trees defining the semantic judgment forms a complete metric space when equipped with a proper distance function. In this way, we are able to prove soundness of a nominal type system w.r.t. the coinductive semantics. Since the coinductive semantics is sound w.r.t. the usual small-step operational semantics, the standard claim of soundness can be easily deduced.
This article summarizes the workshop on human factors in use cases and object-oriented development methods. The following questions were the main focus of the workshop: Can use cases be improved by the incorporation o...
详细信息
ISBN:
(纸本)354066954X
This article summarizes the workshop on human factors in use cases and object-oriented development methods. The following questions were the main focus of the workshop: Can use cases be improved by the incorporation or consideration of formal task analysis models and human centered design techniques in general? Are there ways of integrating human factors and user-centered techniques into use cases and object-oriented methods? The workshop brought a multidisciplinary blend of researchers and practitioner;involved in user-centered design together with those interested by user requirements and use cases. If highlighted fundamental problems arising from the integration of human factors in use cases and OO methods.
This volume contains the proceedings of the 8th european conference on object-oriented programming (ECCOP '94), held in Bologna, Italy in July 1994. ecoop is the premier european event on object-oriented programmi...
详细信息
ISBN:
(数字)9783540485674
ISBN:
(纸本)9783540582021
This volume contains the proceedings of the 8th european conference on object-oriented programming (ECCOP '94), held in Bologna, Italy in July 1994. ecoop is the premier european event on object-orientedprogramming and technology. The 25 full refereed papers presented in the volume were selected from 161 submissions; they are grouped in sessions on class design, concurrency, patterns, declarative programming, implementation, specification, dispatching, and experience. Together with the keynote speech "Beyond objects" by Luc Steels (Brussels) and the invited paper "Putting objects to Work" by Norbert A. Streitz (GMD-IPSI, Darmstadt) they offer an exciting perspective on object-orientedprogramming research and applications.
Mixin layers are a technique for implementing layered object-oriented designs (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scaled to a multiple-class granula...
详细信息
暂无评论