Logic program synthesis from first-order logic specifications

DOI10.1016/0304-3975(94)90202-XMaRDI QIDQ1314418zbMATH OpenOpenAlexFDO

Authors Tadashi Kawamura

Publication date 22 February 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90202-x

zbMATH Keywords

logic programmingHorn clausesprogram developmentunfold/fold transformationfirst- order logic specificationslogic program synthesis

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 970703
• scientific article; zbMATH DE number 1696789
• Synthesis and transformation of logic programs using unfold/fold proofs
• Logic program synthesis from incomplete specifications

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 177791 (Why is no real title available?)
• scientific article; zbMATH DE number 549961 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• An equivalence preserving first order unfold/fold transformation system
• Derivation of Logic Programs
• First order compiler: A deterministic logic program synthesis algorithm

Cited in

(8)

• scientific article; zbMATH DE number 4145877 (Why is no real title available?)
• scientific article; zbMATH DE number 4043304 (Why is no real title available?)
• Abstract Diagnosis of First Order Functional Logic Programs
• scientific article; zbMATH DE number 1696789 (Why is no real title available?)
• Synthesis and transformation of logic programs using unfold/fold proofs
• Combining logic programs and monadic second order logics by program transformation
• First order compiler: A deterministic logic program synthesis algorithm
• The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages

This page was built for publication: Logic program synthesis from first-order logic specifications

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