Traversals of object structures: Specification and Efficient Implementation

Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans. Traversals of object structures: Specification and Efficient Implementation. ACM Transactions on Programming Languages and Systems, 26(2):370-412, 2004. [doi]

Abstract

Abstract is missing.