Pages that link to "Item:Q2828323"
From MaRDI portal
The following pages link to Example-directed synthesis: a type-theoretic interpretation (Q2828323):
Displaying 6 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Counterexample-guided partial bounding for recursive function synthesis (Q832233) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Automatic synthesis of data-flow analyzers (Q2145353) (← links)
- Learning higher-order logic programs (Q2203320) (← links)
- Partial bounding for recursive function synthesis (Q6632203) (← links)
