Implementation of axiomatic language

DOI10.4230/LIPICS.ICLP.2011.290zbMATH Open1245.68059MaRDI QIDQ2909175FDOQ2909175

Authors: Walter W. Wilson 

Publication date: 29 August 2012

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

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

zbMATH Keywords

specificationprogram transformationunfold/foldaxiomatic language

Mathematics Subject Classification ID

Logic programming (68N17)

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)