Proving pointer programs in higher-order logic

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2741, Issue , 2003, Pages 121-135

  Mehta, Farhad ^a   Nipkow, Tobias ^b  

^a ETH ZURICH   (Switzerland)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HIGHER-ORDER LOGIC; POINTER PROGRAMS; POINTER STRUCTURES; VERIFICATION;

ALGORITHMS; COMPUTER SCIENCE; GRAPH THEORY; HIGH LEVEL LANGUAGES; MAPPING; MATHEMATICAL MODELS;

FORMAL LOGIC;

EID: 7044261961     PISSN: 03029743     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.10.007     Document Type: Article

References (0)