Automated synthesis of functional programs with auxiliary functions
From MaRDI portal
Publication:6166148
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; zbMATH DE number 140007
- Functional programs as executable specifications
Cited In (6)
- 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
- Specification transformation method for functional program generation based on partition-recursion refinement rule
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)
