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

by J Palsberg
Venue:Proceedings of the 1992 International Conference on Computer Languages, ICCL’92