Implementation of axiomatic language

DOI10.4230/LIPICS.ICLP.2011.290MaRDI QIDQ2909175zbMATH OpenFDO

Authors Walter W. Wilson

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_06be.html

zbMATH Keywords

specificationprogram transformationunfold/foldaxiomatic language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4092746
• scientific article; zbMATH DE number 512898
• scientific article; zbMATH DE number 3892548
• The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
• scientific article; zbMATH DE number 4176425

This page was built for publication: Implementation of axiomatic language

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