Re: recherche informations

[T.B.Dinesh@cwi.nl (dinesh)]

Hello,

=>> Je travaille presentement avec l'outil centaur pour le developpement 
=>> d'un environnement pour un langage oriente-objet. Je serais heureux 
=>> d'obtenir des examples de l'utilisation de centaur pour des langages 
=>> orientes-objet si c'est possible.
=>
=>(a request for definitions of OO languages using Centaur)

In my thesis I specify a series of OOP languages
using ASF+SDF (algebraic specification formalism
+ syntax definition formalism). The ASF+SDF system
generates a programming environment from the 
specifications and itself is developed using Centaur.

Wonder if this is something that interests you,

greetings,
-dinesh

T B Dinesh       dinesh@cwi.nl     +31 20 5924080
Centre for Mathematics and Computer Science (CWI)
Kruislaan 413, 1098 SJ Amsterdam, The Netherlands

---------------------------------------------------------------------
The following thesis is available by anonymous ftp from ftp.cwi.nl 
(files pub/dinesh/{README, phd.dvi.Z, phd.ps.Z}).
Or herky.cs.uiowa.edu (files /public/dinesh/{README, phd.dvi, phd.ps})
For hard copies, this is be a technical report CS-92-02 of the department 
of Computer Science, The University of Iowa, Iowa City USA.

Object Oriented Programming: Inheritance to Adoption


Thesis abstract:

Object oriented programming is recognized for its ability to
inherit and reuse code and this is reflected by its widespread 
adoption by the industry in the recent years.
A high degree of reusability makes it especially suited for
developing and maintaining large software.
But as programs get larger, static type-checking becomes imperative,
and this has been a concern of the OOP community from the beginning.
However, as illustrated by the language Eiffel, the flexibility
of inheritance appears to conflict with a language being
statically type-checkable.

In this thesis,
we generalize the notion of inheritance and delegation,
and use this generalization to propose an applicative
object oriented programming language which accomodates
updating of {\em instance variables} and a flexible message
passing mechanism. The proposed message passing mechanism
uses the type declaration information to appropriately
alter the message passing semantics in a type sensitive
manner. A particular implication of such a system is
the notion of {\em adoption}, where an object could
get adopted by a context thus giving an orphan object
some features of the context.
Inheritance with adoption results in a desirable solution to
static type-checking in several contexts when {\em inherited types}
are not subtypes.
A flexible and statically type-checkable applicative OOPL
is developed to demonstrate the utility of adoption with inheritance.
This language is described using ASF+SDF, an
algebraic specification formalism.