Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...