Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.theory
Subject: Re: request:formal lang. for OO-concepts
Message-ID: <1309@m1.cs.man.ac.uk>
Date: 6 Jun 90 07:27:01 GMT
References: <9005231821.AA04014@irt.watson.ibm.com>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Organization: Department of Computer Science, University of Manchester UK
Lines: 19

In article <9005231821.AA04014@irt.watson.ibm.com> TheoryNet List <THEORYNT@VM1.NoDak.EDU>, Angelika Buth <buth@zi.gmd.dbp.de> writes:
>We are interested in formal languages which are suited to describe
>object-oriented concepts like inheritance in a compact and programming
>language independent way.

Mario Wolczko's thesis from this department:

	Semantics of Object-Oriented Languages

uses VDM-like notation to describe OO concepts (MIW actually started
from the OO side (rather than being a VDM writer looking for something
to describe)). You can get the TR version of his thesis (and a list of
our other TRs by writing to:
	The Librarian,
	Department of Computer Science
	Manchester University
	M13 9PL, England

cliff jones