Title :
Laws of Object-Orientation with Reference Semantics
Author :
Silva, Leila ; Sampaio, Augusto ; Liu, Zhiming
Author_Institution :
Dept. de Comput., Univ. Fed. de Sergipe, Sao Cristovao
Abstract :
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. Soundness of the laws is addressed, and a case study is also developed to show the application of the proposed laws for code refactoring.
Keywords :
algebraic specification; object-oriented languages; program interpreters; programming language semantics; software maintenance; algebraic laws; code refactoring; object-orientation language; program transformation; reference semantics; Application software; Concurrent computing; Functional programming; Java; Logic programming; Object oriented programming; Productivity; Software engineering; Object-oriented languages. Reference semantics; Programming laws;
Conference_Titel :
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-0-7695-3437-4
DOI :
10.1109/SEFM.2008.29
