David Young Ziyi Yang 0004 Ilya Sergey Alex Potanin Higher-Order Specifications for Deductive Synthesis of Programs with Pointers. 45:1-45:26 2024 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2024.45 conf/ecoop/2024 db/conf/ecoop/ecoop2024.html#YoungYSP24