Specification,verification and protyping of an optimized compiler

Authors
He Jifeng Jonathan Bowen
Citation
He Jifeng et Jonathan Bowen, Specification,verification and protyping of an optimized compiler, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 643-658
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6
Year of publication
1994
Pages
643 - 658
Database
ACNP
SICI code