Automatic Deductive Synthesis of Lisp Programs in the System ALISA

DOI10.1007/11853886_21MaRDI QIDQ3533135zbMATH OpenOpenAlexFDO

Authors Yulia Korukhova

Publication date 30 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11853886_21

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in artificial intelligence (68T27)

Recommendations

• An approach to automatic deductive synthesis of functional programs
• Deductive and inductive synthesis of equational programs
• scientific article; zbMATH DE number 108494
• Automated synthesis of recursive programs from a logical specification
• A higher-order interpretation of deductive tableau

Cited in

(7)

• ALISA
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
• An approach to automatic deductive synthesis of functional programs
• scientific article; zbMATH DE number 1497843 (Why is no real title available?)
• Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
• A higher-order interpretation of deductive tableau

This page was built for publication: Automatic Deductive Synthesis of Lisp Programs in the System ALISA

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