Pages that link to "Item:Q6166148"
From MaRDI portal
The following pages link to Automated synthesis of functional programs with auxiliary functions (Q6166148):
Displaying 4 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Automating Side Conditions in Formalized Partial Functions (Q5505512) (← links)