Towards provably correct code generation for a hard real-time programming language (1994)

by M Fränzle, M Müller-Olm
Venue:Compiler Construction, volume 786 of Lecture Notes in Computer Science