![]() |
Volumn , Issue , 2006, Pages 83-86
|
Reasoning about iterators with separation logic
|
Author keywords
Aliasing; Challenge problem; Iterators; Separation logic
|
Indexed keywords
CHALLENGE PROBLEM;
IMPERATIVE PROGRAMS;
ITERATOR PROTOCOLS;
SEPARATION LOGIC;
COMPUTER PROGRAMMING;
DATA STRUCTURES;
ITERATIVE METHODS;
NETWORK PROTOCOLS;
USER INTERFACES;
FORMAL LOGIC;
|
EID: 34547156032
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1181195.1181213 Document Type: Conference Paper |
Times cited : (22)
|
References (6)
|