A Constructive Approach to Compiler Correctness.

Peter D. Mosses

Published in: ICALP (1980)

Keyphrases

general purpose
programming language
software systems
data mining
provably correct
database
knowledge base
website
open source