Extracting abstract data types from C programs: A case study

Conference on Software Maintenance

Volumn , Issue , 1993, Pages 200-209

  Canfora, G ^a   Cimitile, A ^a   Munro, M ^a   Taylor, C J ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA REDUCTION; DATA STRUCTURES; GRAPH THEORY; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; STATISTICAL METHODS;

ABSTRACT DATA TYPES; C PROGRAMS; FORMAL NOTATION Z; INTERCONNECTION GRAPH; VARIABLE REFERENCE GRAPHS;

COMPUTER SOFTWARE;

EID: 0027849361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)