A simple and general theoretical account for abstract types. (English) Zbl 1266.68088
Oliveira, Marcel Vinícius Medeiros (ed.) et al., Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-10451-0/pbk). Lecture Notes in Computer Science 5902, 336-349 (2009).
MSC:
68N18