Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming

Expressiveness of structured document query languages based on attribute grammars

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Expressiveness of structured document query languages based on attribute grammars

Journal of the ACM (JACM)

Proving Correctness and Completeness of Normal Programs - A Declarative Approach

Proceedings of the 17th International Conference on Logic Programming

Proving correctness and completeness of normal programs – a declarative approach

Theory and Practice of Logic Programming

Attribute Grammars and Categorical Semantics

ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II

Categorical descriptional composition

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems