Everything You Want to Know About Pointer-Based Checking.

Santosh Nagarakatte Milo M. K. Martin Steve Zdancewic

Published in: SNAPL (2015)

Keyphrases

data structure
case study
viewpoint
website
similarity measure
computational complexity
constraint checking