Dynamic boundaries: Information hiding by second order framing with first order assertions (0)

by D A Naumann, A Banerjee
Venue:In Programming Languages and Systems, European Symposium on Programming. LNCS Series