Runtime checking for separation logic

Nguyen, H.H.
Kuncak, V.
Chin, W.-N.

Open link

Publication date

January 2008

DOI

10.1007/978-3-540-78163-9_19

Publisher

Springer Science and Business Media LLC

Abstract

10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4905 LNCS203-21

Extracted data

We use cookies to provide a better user experience.

Data Protection

Runtime checking for separation logic

Abstract

Extracted data

Runtime checking for separation logic

Abstract

Extracted data

Related items

Related items