a report on the development of gypsy
The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced in the second version are described. Some experiences with the specification and proof methodology are discussed, and the status of the implementation of the Gypsy compiler and verification system is summarized.
gypsy concurrency systems programming language reliable software program verification scope of names programming language design specification language correctness compiler design programming language dynamic storage management