A Relational Framework for Higher-Order Shape Analysis

Authors

Gowtham Kaki, PurdueFollow
Suresh Jagannathan, Purdue UniversityFollow

Date of this Version

2014

Keywords

Program Verification, Higher Order, Shape Analysis, Relations, Decidable Type Checking, Dependent Types, Standard ML, SMT

Tech Report Number

14-002