Title

A Relational Framework for Higher-Order Shape Analysis

Date of this Version

2014

Keywords

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

Report Number

14-002