Higher-Order Specifications for Deductive Synthesis of Programs with Pointers

Published in 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024