Proving a Compiler Correct: A Simple Approach.

Giorgio Germano Andrea Maggiolo-Schettini

Published in: J. Comput. Syst. Sci. (1975)

Keyphrases

general purpose
programming language
software systems
highly reliable
data mining
metadata
multimedia
website
decision trees