An Automatically Generated and Provably Correct Compiler for a Subset of Ada (1992)

Cached

Download Links

by Jens Palsberg
Venue:In IEEE International Conference on Computer Languages
Citations:12 - 2 self