Do you trust your compiler? Applying formal methods to constructing high-assurance compilers

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 14-24

  Boyle, James M ^a   Resler, R Daniel ^a   Winter, Victor L ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; SOFTWARE ENGINEERING;

HIGH ASSURANCE COMPILERS;

PROGRAM COMPILERS;

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

References (17)