Runtime checking for separation logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4905 LNCS, Issue , 2008, Pages 203-217

  Nguyen, Huu Hai ^a   Kuncak, Viktor ^b   Chin, Wei Ngan ^a,c  

^a SINGAPORE MIT ALLIANCE   (Singapore)

^b EPFL   (Switzerland)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC SPECIFICATIONS; SEPARATION LOGIC; STATIC VERIFICATION;

DATA STRUCTURES; SPECIFICATIONS; STATIC ANALYSIS; VERIFICATION;

FORMAL LOGIC;

EID: 40549125627     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78163-9_19     Document Type: Conference Paper

References (31)