Research indexJournal article
Verifying Programs that Manipulate Pointers
Møller
Electronic Notes in Theoretical Computer Science28 Jul 2004Open access
NobleIDark:/48914/w1/20260515/2388F402DOI10.1016/j.entcs.2003.10.002
Journal articleOpen access
Verifying Programs that Manipulate Pointers
Møller · Electronic Notes in Theoretical Computer Science · 2004
NobleIDark:/48914/w1/20260515/2388F402DOI10.1016/j.entcs.2003.10.002
Free to read at the publisher
You can read the abstract here, or the full text at the publisher.
Abstract
This talk gives an overview of various approaches for verifying the correctness of programs that manipulate data structures using pointers.