Relational Reasoning for Recursive Types and References

Nina Bohr, Lars Birkedal. Relational Reasoning for Recursive Types and References. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings. Volume 4279 of Lecture Notes in Computer Science, pages 79-96, Springer, 2006. [doi]

Abstract

Abstract is missing.