Higher-Order Specifications for Deductive Synthesis of Programs with Pointers.

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

Browse the full ECOOP paper archive.