Article
Proceedings of the ACM on Programming Languages  (2020)

Gradual Verification of Recursive Heap Data Structures

Wise, Jenna; Bader, Johannes; Wong, Cameron; Aldrich, Jonathan; TANTER, ÉRIC; Sunshine, Joshua

Más información

Título de la Revista: Proceedings of the ACM on Programming Languages
Volumen: 4
Número: OOPSLA
Editorial: Association for Computing Machinery (ACM)
Fecha de publicación: 2020
Página de inicio: 228:1
Página final: 228:28
URL: https://dl.acm.org/doi/10.1145/3428296