Pages that link to "Item:Q1915136"
From MaRDI portal
The following pages link to Middle-out reasoning for synthesis and induction (Q1915136):
Displaying 6 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)