Automated synthesis of functional programs with auxiliary functions

DOI10.1007/978-3-030-02768-1_13zbMATH Open1519.68046OpenAlexW2897229241MaRDI QIDQ6166148FDOQ6166148

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

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
• Functional programs as executable specifications

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (4)

• 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}
• Automating Side Conditions in Formalized Partial Functions

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)