Type Specialization for Object-Oriented Coordination
نویسنده
چکیده
TSOc is presented as a declarative, object-oriented, concurrent programming language and model. Its intended eld of application is the coordination of simultaneously active autonomous applications. This lan-guage/model is based on a type lattice and constraints over typed variables. Subtyping and constraints allow to specify interfaces and communication protocols in a declarative way.
منابع مشابه
Type Specialization and Coordination
Declarative models and language concepts for the coordination in parallel and distributed systems attract increasing attention because of their simplicity and expressiveness. In this paper, type specialization is proposed as a declarative, object-oriented programming and coordination model. A simple execution mechanism repeatedly specializes types of entities (variables) and thereby collects kn...
متن کاملInstance variables specialization in object-oriented programming
One of the most bothering restrictions of statically typed objectoriented languages is that the type of mutable instance variables, cannot be specialized in a subclass. This restriction is in practice so vexing that some commercial object-oriented languages have preferred to give up static type safety rather than to adopt it. In this paper we propose the first general and uniform technique to o...
متن کاملDefining Specialization for Process Models
Object-oriented analysis and design methods take full advantage of the object specialization hierarchy when it comes to modeling the objects in a system. When modeling system behavior, however, system analysts continue to rely on traditional tools such as state diagrams and dataflow diagrams. While such diagrams capture important aspects of the processes they model, they offer limited guidance ...
متن کاملObject-Oriented Program Specialization: Aspects Into Aspects — Or Maybe Not?
Automatic program specialization is a software engineering technique that configures a program fragment by generating an implementation dedicated to a specific usage context. Given a generic component that solves a whole family of problems and that is implemented in a standard programming language, program specialization can automatically configure this component by generating a specialized imp...
متن کاملType-Safe Compilation of Covariant Specialization: A Practical Case
Despite its lack of type safety, some typed object-oriented languages use covariant specialization for methods. In this work, we show how one may modify the semantics of languages that use covariant specialization in order to improve their type safety. We demonstrate our technique using O2, a strongly and statically typed object-oriented database programming language which uses covariant specia...
متن کامل