An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretically for comparing the expressive power...
详细信息
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretically for comparing the expressive power of languages and for transferring results from traditional languages to those with objects and classes. Both are also important foundations for the implementation of object-orientedlanguages as compilers typically include a phase that performs these translations. This paper describes a language with a primitive notion of classes and objects and presents an encoding of this language into one with records and functions. The encoding uses two techniques often used in compilers for single-inheritance class-based object-orientedlanguages: the self-application semantics and the method-table technique. To type the output of the encoding, the encoding uses a new formulation of self quantifiers that is more powerful than previous approaches.
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A possible way to meet such requirements is to use an ...
详细信息
This paper briefly describes research on generic object-orientedprogramming where we establish a set of design patterns (or idioms) which makes algorithms independent of data structures. In the framework that impleme...
详细信息
object-oriented frameworks are very popular for the efficiency they provide in reusing software. However, their use by instantiation, their enrichment by composition, and their extension by specialization, are all com...
详细信息
Constrained objects are objects whose state is regulated by constraints. They are applicable in many domains, e.g., engineering and organizational modeling. Our proposed language (Cob) supports class hierarchies, cons...
详细信息
作者：
Bastide, RémiLIHS
Université Toulouse 1 Place Anatole France F-31042 Toulouse Cedex France
PetShop is a CASE tool dedicated to the formal behavioral specification of CORBA systems. The tool uses high-level Petri nets as its specification language, and integrates seamlessly in a CORBA distributed environment...
详细信息
This poster will present the work of oopsla 2000 workshop 13, on "Active Learning For object-oriented Design". Many people are introduced to OO concepts, hut only learn the words. This workshop will explore ...
详细信息
Is it possible to do fixed-price eXtreme programming projects? How does one bid on a project with changing scope? When is the project finished? These questions and others were addressed in the context of a successful ...
详细信息
作者：
Pair, Stephen***
817 West Peachtree Street Atlanta GA 30308-1138 United States
*** is a hosted service that enables its customers to maintain their project related material in a secure fashion over the Internet. They can grant access on a project-by-project basis to their employees, vendors, and...
详细信息
暂无评论