Application of correctness preserving transformations to software maintenance

Conference on Software Maintenance

Volumn , Issue , 2000, Pages 108-117

  Gibson, J Paul ^a   Dowling, Thomas F ^a   Malloy, Brian A ^a  

^a NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; COMPUTER PROGRAM LISTINGS; COMPUTER SOFTWARE MAINTENANCE; ERROR CORRECTION; FORMAL LOGIC; OPTIMIZATION; PUBLIC KEY CRYPTOGRAPHY; REAL TIME SYSTEMS; REVERSE ENGINEERING;

CODE OPTIMIZATION; CORRECTNESS PRESERVING TRANSFORMATIONS; FORMAL METHODS; PROGRAM TRANSFORMATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0034497524     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icsm.2000.883025     Document Type: Conference Paper

References (26)