Denotational semantics for Abadi and Leino’s logic of objects (2005)

by B Reus, J Schwinghammer
Venue:In Shmuel Sagiv, editor, Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Proceedings, volume 3444 of LNCS