A Verified Compiler for Synchronous Programs with Local Declarations.

Klaus Schneider Jens Brandt Tobias Schüle

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

general purpose
java bytecode
programming language
control structures
software systems
automatic programming
database
expert systems
computer systems
computer programs
fixpoint
intermediate level
asynchronous communication
highly optimized