Bruno Courcelle, Pierre Deransart. Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming. Inf. Comput., 78(1):1-55, July 1988.
@article{CourcelleD88,
title = {Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming},
author = {Bruno Courcelle and Pierre Deransart},
year = {1988},
month = {July},
tags = {attribute grammars, logic programming, programming, logic, grammar},
researchr = {https://researchr.org/publication/CourcelleD88},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {78},
number = {1},
pages = {1-55},
}