Synthesis of programs in computational logic

DOI10.1007/978-3-540-25951-0_2MaRDI QIDQ5712543zbMATH OpenOpenAlexFDO

Authors Yves Deville, Pierre Flener, Andreas Hamfelt, Jorgen Fischer Nilsson, David Basin

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98187, http://hdl.handle.net/2078.1/40037

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Achievements and prospects of program synthesis
• scientific article; zbMATH DE number 792049
• scientific article; zbMATH DE number 4084990
• Logic program synthesis in a higher-order setting
• From program verification to program synthesis

Cited in

(21)

• A bridge between constructive logic and computer programming
• Program synthesis using realizability
• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Evolution of rule-based programs
• Program development in computational logic. A decade of research advances in logic-based program development.
• Automatic synthesis of computation programs through analysis of variable semantics
• Combining model finder and genetic programming into a general purpose automatic program synthesizer
• Program synthesis with equivalence reduction
• Programming by predicates: a formal model for interactive synthesis
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• Preconditions for structural synthesis of programs
• A Logic Programming Framework for Combinational Circuit Synthesis
• Composing programs in a rewriting logic for declarative programming
• Achievements and prospects of program synthesis
• The next 700 synthesis calculi
• Synthesis of list algorithms by mechanical proving
• Synthesizing Imperative Code from Answer Set Programming Specifications
• Beyond the verification approach: the synthesis approach
• Synthetic programming
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• LCF

This page was built for publication: Synthesis of programs in computational logic

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