Logical framework to prove properties of Alpha programs

Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors

Volumn , Issue , 1997, Pages 187-198

  Bough, Luc ^a   Cachera, David ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; ERROR CORRECTION; FORMAL LOGIC;

AFFINE RECURRENCE EQUATIONS (ARE); ALPHA PROGRAMMING LANGUAGE;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (10)