DocumentCode
3532384
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
fYear
2008
fDate
10-14 Nov. 2008
Firstpage
217
Lastpage
226
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SEFM.2008.29
Filename
4685809
Link To Document