Logic program synthesis from incomplete specifications

DOI10.1016/S0747-7171(06)80012-XMaRDI QIDQ1322854zbMATH OpenOpenAlexFDO

Authors Pierre Flener, Yves Deville

Publication date 9 May 1994

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0747-7171(06)80012-x

zbMATH Keywords

comparison criteriacorrectnessincomplete specificationssynthesis of logic programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 792049
• scientific article; zbMATH DE number 970703
• Logic program synthesis from first-order logic specifications
• scientific article; zbMATH DE number 1696789

Cites work

• A Methodology for LISP Program Construction from Examples
• A Production Rule Mechanism for Generating LISP Code
• Derivation of Logic Programs
• scientific article; zbMATH DE number 3956408 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 587821 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Language identification in the limit
• Logic program synthesis from incomplete specifications
• Monotonic and non-monotonic inductive inference
• Polynomial-time inference of arbitrary pattern languages
• Top-down synthesis of divide-and-conquer algorithms

Cited in

(13)

• Logic program synthesis from first-order logic specifications
• Logic program synthesis from incomplete specifications
• An abstract formalization of correct schemas for program synthesis
• Top program construction and reduction for polynomial time meta-interpretive learning
• scientific article; zbMATH DE number 1696789 (Why is no real title available?)
• scientific article; zbMATH DE number 4098740 (Why is no real title available?)
• scientific article; zbMATH DE number 1973214 (Why is no real title available?)
• scientific article; zbMATH DE number 792049 (Why is no real title available?)
• scientific article; zbMATH DE number 1396180 (Why is no real title available?)
• Inductive synthesis of recursive logic programs: achievements and prospects
• Reasoning About Incompletely Defined Programs
• scientific article; zbMATH DE number 3269892 (Why is no real title available?)
• scientific article; zbMATH DE number 970703 (Why is no real title available?)

This page was built for publication: Logic program synthesis from incomplete specifications

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