Verifying higher-order imperative programs with higher-order separation logic (2010)

by Neelakantan R. Krishnaswami , John C. Reynolds , Robert Harper
Venue:Carnegie Mellon University
Citations:7 - 2 self