Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming - researchr publication references

researchr

You are not signed in
Sign in
Sign up

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.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL