A framework for program verification in the context of linked structures and pointer variables.

Tom P. Whaley

Browse the full SIGCSE paper archive.