Hybrid types, invariants, and refinements for imperative objects (2006)

by Cormac Flanagan
Venue:In International Workshop on Foundations and Developments of Object-Oriented Languages
Citations:17 - 1 self