Login / Signup
Provably Correct Compiler Development and Implementation.
Bettina Buth
Karl-Heinz Buth
Martin Fränzle
Burghard von Karger
Yassine Lakhnech
Hans Langmaack
Markus Müller-Olm
Published in:
CC (1992)
Keyphrases
</>
information processing
provably correct
efficient implementation
highly optimized
case study
knowledge based systems
formal methods
code generation
software engineering
general purpose
software systems
development process
future development
rapid prototyping