Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Julian Dolby, Aaron Kershenbaum, Larry Koved. Validating structural properties of nested objects. In John M. Vlissides, Douglas C. Schmidt, editors, Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada. pages 294-304, ACM, 2004. [doi]
Abstract is missing.