Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

School of Computing

Research output: Contribution to journal › Short survey › peer-review

1 results

Filter

2024
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Young, D., Yang, Z., Sergey, I. & Potanin, A., 12 Sept 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 26 p. 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Open Access