Higher-Order Specifications for Deductive Synthesis of Programs with Pointers

Published in ECOOP24: 38th European Conference on Object-Oriented Programming, 2024