Re: Refs wanted
To: email@example.com (Ben Bongalon)
Subject: Re: Refs wanted
Date: Thu, 16 Dec 93 12:48:51 -0800
Delivery-Date: Thu, 16 Dec 93 12:48:54 -0800
In-Reply-To: Message of 16 Dec 1993 19:06:57 GMT from firstname.lastname@example.org (Ben Bongalon)
You will find some "realistic" specifications of C interfaces for code that
actually compiles and runs in
Larch: Languages and Tools for Formal Specification
John V. Guttag, et al.
Springer-Verlag Texts and Monographs in Computer Science, 1993
ISBN 0-387-94006-5, ISBN 3-540-94006-5
The major motivation for one of the most-widely known Z specification
efforts, the CICS project at IBM, was precisely reverse-engineering an
existing system that had to be expanded, upgraded, and substantially
rewritten. I don't have any references handy, though.