Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.

Pascal Fradet, Ronan Caugne, Daniel Le Mtayer

Browse the full ESOP paper archive.