Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site watrose.UUCP
Path: utzoo!watmath!watnot!watrose!gjditchfield
From: gjditchfield@watrose.UUCP (Glen Ditchfield)
Newsgroups: net.lang,net.lang.st80
Subject: References requested
Message-ID: <7854@watrose.UUCP>
Date: Wed, 26-Feb-86 18:58:52 EST
Article-I.D.: watrose.7854
Posted: Wed Feb 26 18:58:52 1986
Date-Received: Fri, 28-Feb-86 07:02:33 EST
Distribution: net
Organization: U of Waterloo, Ontario
Lines: 5
Xref: watmath net.lang:2149 net.lang.st80:316


I am looking for papers on formal verification of object-oriented languages.
I am especially curious about methods that make assertions about the data in
the objects. Can anyone out there suggest some references? Thanks in advance.
                   - Glen Ditchfield