Login
|
New Account
ITA
ENG
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