Pages that link to "Item:Q2457802"

The following pages link to An approach to automatic deductive synthesis of functional programs (Q2457802):

Displaying 10 items.

• An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
• Automated synthesis of recursive programs from a \(\forall\exists\) logical specification (Q1272617) (← links)
• Deductive and inductive synthesis of equational programs (Q1322836) (← links)
• Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
• Automatic synthesis of action programs for intelligent robots (Q2216712) (← links)
• (Q4449804) (← links)
• Logics in Artificial Intelligence (Q5394159) (← links)
• A higher-order interpretation of deductive tableau (Q5938542) (← links)
• Automated synthesis of functional programs with auxiliary functions (Q6166148) (← links)