Correctness of compiling Occam to transputer code

Computer Journal

Volumn 39, Issue 1, 1996, Pages 52-92

  Borger, Egon ^a   Durdanovic, Igor ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; THEOREM PROVING; TRANSPUTERS;

OCCAM PROGRAMS; TRANSPUTER CODE; TRANSPUTER INSTRUCTION SET ARCHITECTURE;

PROGRAM COMPILERS;

EID: 0029697035     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/39.1.52     Document Type: Article

References (18)