Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.

Bettina Buth, Karl-Heinz Buth

Browse the full FM paper archive.