Difference-list transformation for Prolog

DOI10.1007/BF03037156MaRDI QIDQ685124zbMATHOpenAlexWikidataFDO

Authors Kim Marriott, Harald Søndergaard

Publication date 30 September 1993

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037156

zbMATH Keywords

program optimizationprogram analysislogic programs

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1696440
• scientific article; zbMATH DE number 2084336
• The list introduction strategy for the derivation of logic programs
• Compiling associativity into logic programs
• Transformations of logic programs with goals as arguments

Cited in

(6)

• VeriFly: On-the-fly Assertion Checking via Incrementality
• The list introduction strategy for the derivation of logic programs
• scientific article; zbMATH DE number 1696440 (Why is no real title available?)
• Prolog program transformations and tree manipulation algorithms
• scientific article; zbMATH DE number 2084336 (Why is no real title available?)
• Rotations in the plane and Prolog

This page was built for publication: Difference-list transformation for Prolog

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