Title :
A support tool for annotated program manipulation
Author :
Kasyanov, Victor N.
Author_Institution :
Inst. of Inf. Syst., Novosibirsk, Russia
Abstract :
The paper describes the AFORT system intended to be an integrated environment for support of analysis, transformation and instrumentation of FORTRAN 77 programs. It takes into account information that is known about the program being processed and conveyed in formalized comments (annotations). The AFORT system is based upon two approaches suggested by the author (V.N. Kasyanov, 1991; 1997): so-called annotated program concretization whereby a given general-purpose program can be correctly transformed into a number of special-purpose programs of higher quality, and so-called implausibility properties (anomalies) which permit us to detect dynamic errors statically and informal errors formally
Keywords :
FORTRAN; computer aided software engineering; program diagnostics; programming environments; project support environments; AFORT system; FORTRAN 77 programs; annotated program concretization; annotated program manipulation support tool; anomalies; dynamic error detection; formalized comments; general-purpose program; implausibility properties; informal error detection; integrated environment; special-purpose programs; Computer languages; Debugging; Educational programs; Electronic mail; Error correction; Informatics; Information analysis; Instruments; Programming profession; Time factors;
Conference_Titel :
Software Maintenance and Reengineering, 2001. Fifth European Conference on
Conference_Location :
Lisbon
Print_ISBN :
0-7695-1028-0
DOI :
10.1109/.2001.914972
