Can we transform logic programs into attribute grammars ?

DOI10.1051/ITA/1991250604991MaRDI QIDQ3991299zbMATH OpenOpenAlexFDO

Authors 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

attribute grammarslogic programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4195156
• Relating logic programs and attribute grammars
• scientific article; zbMATH DE number 1354904
• scientific article; zbMATH DE number 870438

Cites work

• An order-algebraic definition of knuthian semantics
• Attribute Grammars and Mathematical Semantics
• Attribute grammars and recursive program schemes. I. II
• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3716833 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3992919 (Why is no real title available?)
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Relating logic programs and attribute grammars
• Semantics of context-free languages

Cited in

(4)

• scientific article; zbMATH DE number 4195156 (Why is no real title available?)
• Relating logic programs and attribute grammars
• scientific article; zbMATH DE number 1354904 (Why is no real title available?)
• scientific article; zbMATH DE number 870438 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3991299)