scientific article; zbMATH DE number 1973217

MaRDI QIDQ4421871zbMATH OpenFDO

Authors Silvija Seres, Michael Spivey

Publication date 1 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2042/20420057.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Transformations of logic programs
• scientific article; zbMATH DE number 2090550
• The transformational approach to program development
• Transformations of logic programs
• Grammar-related transformations of logic programs

Cited in

(7)

• Transformation of logic programs to FP programs based on dataflows
• Refinement of Higher-Order Logic Programs
• A program transformation from equational programs into logic programs
• scientific article; zbMATH DE number 2090550 (Why is no real title available?)
• Transformations of logic programs
• Predicate specialization for definitional higher-order logic programs
• Formalizing Dijkstra's predicate transformer wp in weak second-order logic

This page was built for publication:

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