A verified staged interpreter is a verified compiler.

Edwin C. Brady Kevin Hammond

Published in: GPCE (2006)

Keyphrases

programming language
general purpose
information retrieval
website
database systems
artificial intelligence
information systems
web services
decision trees
evolutionary algorithm
computer systems