TY  - RPRT
TI  - Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
AU  - David Young
AU  - Ziyi Yang
AU  - Ilya Sergey
AU  - Alex Potanin
PY  - 2024
UR  - https://arxiv.org/abs/2407.09143
ID  - 2407.09143
ER  -