Search Results for 'syntactic proofs of compositional'

syntactic proofs of compositional published presentations and documents on DocSlides.

Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Harvard University Cambridge Massachusetts USA Abstract

by stefany-barnette

Semantic preservation by compilers for higherorde...