Higher-Order Specifications for Deductive Synthesis of Programs with PointersPublished in ECOOP24: 38th European Conference on Object-Oriented Programming, 2024Share on Twitter Facebook LinkedIn Previous Next