Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

SEFM
2008
IEEE

favoriteEmaildiscussreport

123views Software Engineering» more SEFM 2008»

Laws of Object-Orientation with Reference Semantics

13 years 11 months ago

Laws of Object-Orientation with Reference Semantics

Download www.cin.ufpe.br

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 objectoriented 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.

Leila Silva, Augusto Sampaio, Zhiming Liu

Real-time Traffic

Algebraic Laws | Program Transformation | Reference Semantics | SEFM 2008 | Software Engineering |

claim paper

Related Content

» ObjectOriented Composition Untangled

» A Flexible CLPBased Approach to the Analysis of ObjectOriented Programs

» A Relational Model for ObjectOriented Designs

» Polymorphism in ObjectOriented Contract Verification

» Computational Law

» RunTime Bytecode Specialization

» Knowledge and social laws

» Constructing a Semantic Network for Legal Content

» The Conceptual Cohesion of Classes

Post Info
More Details (n/a)

Added	01 Jun 2010
Updated	01 Jun 2010
Type	Conference
Year	2008
Where	SEFM
Authors	Leila Silva, Augusto Sampaio, Zhiming Liu

Comments (0)