A Relational Framework for Higher-Order Shape Analysis

Authors

Gowtham Kaki, PurdueFollow
Suresh Jagannathan, Purdue UniversityFollow

Keywords

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

Tech Report Number

14-002

Date of this Version

2014

Recommended Citation

Kaki, Gowtham and Jagannathan, Suresh, "A Relational Framework for Higher-Order Shape Analysis" (2014). Department of Computer Science Technical Reports. Paper 1772.
https://docs.lib.purdue.edu/cstech/1772