scientific article; zbMATH DE number 1696789

MaRDI QIDQ2767046zbMATH OpenFDO

Authors David Lacey, Julian Richardson, Alan Smaill

Publication date 28 January 2002

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 970703
• Logic program synthesis from first-order logic specifications
• Logic program synthesis from incomplete specifications
• Constructive system for automatic program synthesis
• scientific article; zbMATH DE number 792049

Cited in

(25)

• A logical calculus for problem solving in highly structured application domains
• Logic program synthesis from first-order logic specifications
• Logic program synthesis from incomplete specifications
• scientific article; zbMATH DE number 1638651 (Why is no real title available?)
• Higher-order syntax and saturation algorithms for hybrid logic
• Refinement of Higher-Order Logic Programs
• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
• scientific article; zbMATH DE number 3965414 (Why is no real title available?)
• scientific article; zbMATH DE number 4057489 (Why is no real title available?)
• scientific article; zbMATH DE number 139626 (Why is no real title available?)
• scientific article; zbMATH DE number 1200168 (Why is no real title available?)
• scientific article; zbMATH DE number 549957 (Why is no real title available?)
• scientific article; zbMATH DE number 1890623 (Why is no real title available?)
• scientific article; zbMATH DE number 2090150 (Why is no real title available?)
• scientific article; zbMATH DE number 2090550 (Why is no real title available?)
• Proof-producing synthesis of ML from higher-order logic
• The use of embeddings to provide a clean separation of term and annotation for higher order rippling
• scientific article; zbMATH DE number 970703 (Why is no real title available?)
• Program Development in Computational Logic
• Reasoning with higher-order abstract syntax in a logical framework
• Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic
• A higher-order interpretation of deductive tableau
• Synthesis of rewrite programs by higher-order and semantic unification
• TPS: A hybrid automatic-interactive system for developing proofs
• First order compiler: A deterministic logic program synthesis algorithm

Describes a project that uses

Uses Software

• Lambda-Clam

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 Q2767046)