Automatic checking of instruction specifications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 326-336

  Fernandez, Mary ^a   Ramsey, Norman ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ENCODING (SYMBOLS); ERROR CORRECTION; PROGRAM DEBUGGING; BIT ERROR RATE; DECODING; PROGRAM ASSEMBLERS; REDUCED INSTRUCTION SET COMPUTING;

AUTOMATIC CHECKING; INSTRUCTION SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

INSTRUCTION SPECIFICATIONS; MACHINE CODE TOOLKIT;

EID: 0030615509     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/253228.253300     Document Type: Conference Paper

References (24)