%0 Book Section %1 sampaio_06_transformation %A Sampaio, Augusto %A Borba, Paulo %D 2006 %J Lecture Notes in Computer Science : Refinement Techniques in Software Engineering %K 2006 laws transformation oop %P 18--63 %R 10.1007/11889229_2 %T Transformation Laws for Sequential Object-Oriented Programming %U http://dx.doi.org/10.1007/11889229_2 %X We present algebraic laws for a language similar to a subset of sequential Java that includes inheritance, recursive classes, dynamic binding, access control, type tests and casts, assignment, but no sharing. We show that these laws are complete, in the sense that they are sufficient to reduce any program to a normal form substantially close to an imperative program: classes and inheritance are used only to preserve the notion of subtyping; all classes have empty bodies, except the object class, which collects all the attributes moved up from all its subclasses. Methods are also eliminated by first resolving dynamic binding, and then in-lining their bodies in place of the calls. This suggests that our laws are expressive enough to formally derive behaviour preserving program transformations; this is illustrated through the derivation of refactorings.

@inbook{sampaio_06_transformation, abstract = {We present algebraic laws for a language similar to a subset of sequential Java that includes inheritance, recursive classes, dynamic binding, access control, type tests and casts, assignment, but no sharing. We show that these laws are complete, in the sense that they are sufficient to reduce any program to a normal form substantially close to an imperative program: classes and inheritance are used only to preserve the notion of subtyping; all classes have empty bodies, except the object class, which collects all the attributes moved up from all its subclasses. Methods are also eliminated by first resolving dynamic binding, and then in-lining their bodies in place of the calls. This suggests that our laws are expressive enough to formally derive behaviour preserving program transformations; this is illustrated through the derivation of refactorings.}, added-at = {2009-02-11T20:58:52.000+0100}, author = {Sampaio, Augusto and Borba, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2224eb1f701484f20aaa0c12e93c1cc65/leonardo}, citeulike-article-id = {903708}, doi = {10.1007/11889229_2}, interhash = {678076ffaa1b0d44db48c7600036ff99}, intrahash = {224eb1f701484f20aaa0c12e93c1cc65}, journal = {Lecture Notes in Computer Science : Refinement Techniques in Software Engineering}, keywords = {2006 laws transformation oop}, pages = {18--63}, posted-at = {2006-10-18 14:24:21}, priority = {3}, timestamp = {2009-02-11T20:58:52.000+0100}, title = {Transformation Laws for Sequential Object-Oriented Programming}, url = {http://dx.doi.org/10.1007/11889229_2}, year = 2006 }