Design of a portable control-flow checking technique

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 120-123

  Alkhalifa, Z ^a   Nair, V S S ^a  

^a SOUTHERN METHODIST UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; ERROR DETECTION; HIGH LEVEL LANGUAGES; PROGRAM COMPILERS;

CONTROL FLOW CHECKING TECHNIQUE;

SOFTWARE ENGINEERING;

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

References (9)