birger@diku.dk (Birger Andersen) (06/30/89)
My name is Birger, and I am Ph.D. student at the Department of
Computer Science, University of Copenhagen, Denmark. I am designing a
new Object-Oriented programming language, Ellie, and since this
language design is central to my thesis, I would like to hear if
anyone out there ever should have heard about O-O languages having
most or all of the following properties:
* Conformity types (compile-time checked as with Emerald)
* Types are 1st class values (prototype objects)
* Block structured (any level, local variables)
* Blocks are 1st class values
* Methods classified into functions (no side-effects, read states)
and operations (with side-effects, read/write states)
* Methods are 1st class values (methods and objects are the same)
* The user may define control structures
* Control structures are 1st class values
* All levels of parallelism are present (including fine-grained)
* Parallelism are explicit or implicit (not decided in Ellie yet)
* Synchronization using readers/writers monitors (functions being
readers, operations being writers)
* Monitors are objects and 1st class values
* Delegation and multiple inheritance are supported
* Names are constants or (conformity) variables
Yes, that is a lot of properties! My language is going to have them
all (except one perhaps). I am going to implement the language on a
transputer network of 17 T800 transputers from Inmos Ltd. The
transputer TRAM modules B405 are put on B014 VME boards hosted by a
Sun 3 workstation and a Sun 4 fileserver on our local area network.
I would be very thankful if anyone could be kind to mail me
references to published or unpublished papers dealing with such O-O
languages. I already have knowledge of languages presented at OOPSLA
and ECOOP conferences during the last years.
I will mail my language definition report to anyone who would like
to have it and who gives me new relevant references. The report will
be ready in draft in a couple of months. Thank you very much in
advance.
Birger (Email: birger@diku.dk)
------------------------------------
Birger Andersen
Department of Computer Science
Universitetsparken 1
DK-2100 Copenhagen
Denmark