Laws of Object-Orientation with Reference Semantics
Cape Town, 2008, Pages 217-226.
Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore possible aliasing resulting from reference semantics. This paper proposes a set of algebraic laws for object-oriented languages in the context of a reference semantics. S...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)