2010.11

,

Metric Spaces and Termination Analysis

2010.04

,

A Semantic Foundation for Hidden State

2009.08

,

Nested Hoare Triples and Frame Rule for Higher-order Store

2009.04

,

Abstraction for Concurrent Objects

2009

,

Compositional Shape Analysis by means of Bi-abduction