Pages that link to "Item:Q5041091"

The following pages link to Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091):

Displaying 2 items.

• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
• Automated repair of heap-manipulating programs using deductive synthesis (Q2234087) (← links)