Synthesis of Safe Pointer-Manipulating Programs (Invited Talk)

DOI10.4230/LIPICS.ITP.2021.2MaRDI QIDQ6157242zbMATH OpenOpenAlexFDO

Authors Nadia Polikarpova

Publication date 20 June 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/13897/pdf/LIPIcs-ITP-2021-2.pdf/

zbMATH Keywords

program synthesisproof searchseparation logic

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Synthesis of Safe Pointer-Manipulating Programs (Invited Talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6157242)