Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming

Bruno Courcelle Pierre Deransart Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming 1-55 Inf. Comput. July 1988 78 1 db/journals/iandc/iandc78.html#CourcelleD88