Paper Info
Title
A declarative framework for object-oriented programming with genetic inheritance
Abstract
Seeking the integration of the object-oriented and declarative programming paradigms offers advantages for the software life-cycle activities. Specification is benefited from using declarative expressions as functional descriptions of components, enjoying formal semantic models. But the integration of both paradigms, object-oriented and declarative, following a translation scheme sets an unavoidable representation distance. Classes, inheritance, attributes and methods are codified with abstract elements, thus not being primitive. This work aims to offer a declarative formal model where the main features of object-oriented programming are nuclear, focusing in an algebraic formalization of purely functional objects. Substantially extending (Mateos-Lago and Rodrı́guez-Artalejo, PLILP’96, Lecture Notes in Computer Science, Vol. 1140, Springer, Berlin, 1996, pp. 62–76), we include operations to homogeneously model methods and class-external functions. Multiple inheritance is supported and extended with genetic inheritance and expressions are flexibly typed using genome typing. Following (González-Moreno et al., J. Logic Programming 40(1) (1999) 47), we use a rewriting logic as a technical tool that helps to formalize the semantics based on continuous algebras (Goguen et al., J. ACM 24(1) (1977) 68), and we show initiality with the existence of a distinguished model for program semantics.
Year
DOI
Venue
2001
10.1016/S0304-3975(01)00013-5
Theoretical Computer Science
Keywords
DocType
Volume
Object-oriented declarative programming,Genetic inheritance,Algebraic semantics,Paradigm integration
Journal
269
Issue
ISSN
Citations 
1
0304-3975
1
PageRank 
References 
Authors
0.35
9
2
Name
Order
Citations
PageRank
Joaquı́n Mateos Lago110.35
Mario Rodríguez-Artalejo271659.70