Synthesis of functional programs with help of first-order intuitionistic logic

DOI10.4230/LIPICS.FSCD.2016.12MaRDI QIDQ5369477zbMATH OpenOpenAlexFDO

Authors Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrząszcz

Publication date 17 October 2017

Full work available at URL https://dblp.uni-trier.de/db/conf/rta/fscd2016.html#BenkeSC16

zbMATH Keywords

MLprogram synthesis

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2063228
• Efficient program synthesis: semantics, logic, complexity
• Adapting Proofs-as-Programs
• A Complete Proof Synthesis Method for the Cube of Type Systems
• Proof-producing synthesis of ML from higher-order logic

Cited in

(9)

• An approach to automatic deductive synthesis of functional programs
• A Complete Proof Synthesis Method for the Cube of Type Systems
• First-order functional languages and intensional logic
• scientific article; zbMATH DE number 2063228 (Why is no real title available?)
• Efficient program synthesis: semantics, logic, complexity
• LMSO: a Curry-Howard approach to Church's synthesis via linear logic
• Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
• Lower end of the linial-post spectrum
• Automated synthesis of functional programs with auxiliary functions

This page was built for publication: Synthesis of functional programs with help of first-order intuitionistic logic

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