loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth European Conference on Software Maintenance and Reengineering
A Support Tool for Annotated Program Manipulation
Lisbon, Portugal
March 14-March 16
ISBN: 0-7695-1028-0
ASCII Text
x 
 
Victor N. Kasyanov, "A Support Tool for Annotated Program Manipulation," Software Maintenance and Reengineering, European Conference on, pp. 85, Fifth European Conference on Software Maintenance and Reengineering, 2001.
 
 
BibTex
x
 
@article{ 10.1109/.2001.914972,
author = {Victor N. Kasyanov},
title = {A Support Tool for Annotated Program Manipulation},
journal ={Software Maintenance and Reengineering, European Conference on},
volume = {0},
year = {2001},
issn = {1534-5351},
pages = {85},
doi = {http://doi.ieeecomputersociety.org/10.1109/.2001.914972},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Maintenance and Reengineering, European Conference on
TI - A Support Tool for Annotated Program Manipulation
SN - 1534-5351
SP
EP
A1 - Victor N. Kasyanov,
PY - 2001
VL - 0
JA - Software Maintenance and Reengineering, European Conference on
ER -
 
Victor N. Kasyanov, A.P. Ershov Institute of Informatics Systems
The paper describes the AFORT system intended to be an integrated environment for support of analysis, transformation and instrumentation of the FORTRAN 77 programs with taking 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: 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.
Citation:
Victor N. Kasyanov, "A Support Tool for Annotated Program Manipulation," csmr, pp.85, Fifth European Conference on Software Maintenance and Reengineering, 2001
Usage of this product signifies your acceptance of the Terms of Use.