Approximation semantics and expressive predicate assignment for object-oriented programming - (extended abstract (2011)

by R N S Rowe, S van Bakel
Venue:In Proceedings of TLCA 2011, volume 6690 of LNCS