Can we transform logic programs into attribute grammars ?

DOI10.1051/ita/1991250604991zbMath0753.68027OpenAlexW3124163452MaRDI QIDQ3991299

Tomás Isakowitz

Publication date: 28 June 1992

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92403

zbMATH Keywords

logic programsattribute grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attribute grammars and recursive program schemes. I. II
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Relating logic programs and attribute grammars
• Attribute Grammars and Mathematical Semantics
• Contributions to the Theory of Logic Programming
• An order-algebraic definition of knuthian semantics
• Semantics of context-free languages

This page was built for publication: Can we transform logic programs into attribute grammars ?