Automated synthesis of functional programs with auxiliary functions

DOI10.1007/978-3-030-02768-1_13MaRDI QIDQ6166148zbMATH OpenOpenAlexFDO

Authors Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada

Publication date 2 August 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-02768-1_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• An approach to automatic deductive synthesis of functional programs
• scientific article; zbMATH DE number 2090035
• Automation for dependently typed functional programming
• Synthesis of functional programs with help of first-order intuitionistic logic
• Automatic extensions of functional calculi
• Automating relatively complete verification of higher-order functional programs
• scientific article; zbMATH DE number 2079865
• scientific article; zbMATH DE number 140007
• Functional programs as executable specifications

Cited in

(7)

• Specification transformation method for functional program generation based on partition-recursion refinement rule
• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
• An approach to automatic deductive synthesis of functional programs
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
• Synthesis of recursive ADT transformations from reusable templates
• Automating Side Conditions in Formalized Partial Functions
• Inductive synthesis of structurally recursive functional programs from non-recursive expressions

This page was built for publication: Automated synthesis of functional programs with auxiliary functions

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