Open AccessVerifying Programs that Manipulate Pointers
Author(s) -
Anders Møller
Publication year - 2004
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2003.10.002
Subject(s) - computer science , programming language , correctness , theoretical computer science , software engineering
This talk gives an overview of various approaches for verifying the correctness of programs that manipulate data structures using pointers
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom