Paper Info
Title
Laws of Object-Orientation with Reference Semantics
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.
Year
DOI
Venue
2008
10.1109/SEFM.2008.29
Cape Town
Keywords
Field
DocType
abstract non-interference,reference semantics,abstract property,standard non-interference,formal model,code refactoring,object oriented language,object oriented,object oriented languages,software maintenance
Algebraic specification,Programming language,Program transformation,Object-oriented programming,Computer science,Theoretical computer science,Aliasing,Soundness,Software maintenance,Law,Code refactoring,Semantics
Conference
ISBN
Citations 
PageRank 
978-0-7695-3437-4
18
0.82
References 
Authors
13
3
Name
Order
Citations
PageRank
Leila Silva17810.11
Augusto Sampaio250143.38
Zhiming Liu3180.82