Executing Verified Compiler Specification.

Koji Okuma Yasuhiko Minamide

Published in: APLAS (2003)

Keyphrases

code generation
programming language
parallel execution
high level
specification language
general purpose
distributed memory machines
highly modular
constraint language
formal specification
software systems
formal verification
application specific
application development
reactive systems
multi agent
real time