Programming Languages and Systems
From MaRDI portal
Publication:5493372
DOI10.1007/11575467zbMath1159.68377MaRDI QIDQ5493372
Hongseok Yang, Ivana Mijajlović
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (3)
On assertion-based encapsulation for object invariants and simulations ⋮ Blaming the client: on data refinement in the presence of pointers ⋮ Category Theoretic Models of Data Refinement
This page was built for publication: Programming Languages and Systems
