A specification-based approach to reasoning about pointers.

Gregory Kulczycki Murali Sitaraman Bruce W. Weide Atanas Rountev

Published in: SAVCBS@ESEC/FSE (2005)

Keyphrases

high level
qualitative reasoning
databases
spatial reasoning
data sets
artificial intelligence
data structure
specification language
qualitative simulation