cliff@cs.man.ac.uk (Cliff Jones) (06/06/90)
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