A declarative framework for object-oriented programming with genetic inheritance

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

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 269; no. 1; pp. 363 - 417
Main Authors:	Lago, Joaquı́n Mateos, Artalejo, Mario Rodrı́guez
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 28.10.2001 Elsevier
Subjects:	Algebraic semantics Algorithmics. Computability. Computer arithmetics Applied sciences Computer science; control theory; systems Exact sciences and technology Genetic inheritance Object-oriented declarative programming Paradigm integration Programming theory Theoretical computing Paradigm integration Object-oriented declarative programming Algebraic semantics Genetic inheritance Integration Paradigm Inheritance Rewriting Genetic character Tree structure Substitution Genetic algorithm Concurrency Semantics Object oriented Models Automatic machine Genome Declarative programming Regularity Object oriented programming Programming theory
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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.
AbstractList	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 Rodrguez-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 (Gonzalez-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. copyright 2001 Published by Elsevier Science B.V. All rights reserved. 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.
Author	Lago, Joaquı́n Mateos Artalejo, Mario Rodrı́guez
Author_xml	– sequence: 1 givenname: Joaquı́n Mateos surname: Lago fullname: Lago, Joaquı́n Mateos email: jmlago@sip.ucm.es – sequence: 2 givenname: Mario Rodrı́guez surname: Artalejo fullname: Artalejo, Mario Rodrı́guez email: mario@sip.ucm.es
BackLink	http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14122395$$DView record in Pascal Francis
BookMark	eNqFkE1LHTEUhkNR6FX7EwqzqdTF1JNkJjdDF0XEfoDQQtt1iCcn19i5iU2i4r831ysVunF1Ns_78p5nj-3EFImxtxw-cODq-CdIGHo5Lcf3wI8AgMt-fMUWXC-nXohp2GGLf8hrtlfKVYNgXKoF-3HSOcLZZlvDLXU-2zXdpfyn8yl36eKKsPYpB4qVXHed06oB6xBX3V2ol92KItWAXYiXlEO1EemA7Xo7F3rzdPfZ789nv06_9uffv3w7PTnvUSpde3QaNEc-KW-1U37wygnP0SpEa52FCyHQgXXDILWVo4S2fUIPSxQgUct9drjtbaP-3lCpZh0K0jzbSOmmGKGU1hrGBr57Am1BO7cPI4ZirnNY23xv-MCFkNOGG7cc5lRKJv-MgNl4No-ezUaiAW4ePZtN7uN_OWwmakixZhvmF9Oftmlqrm4DZVOw2UZyITf3xqXwQsMDXzSaCg
CODEN	TCSCDI
CitedBy_id	crossref_primary_10_7717_peerj_cs_159
Cites_doi	10.1016/B978-0-444-88074-1.50017-2 10.1016/0890-5401(88)90007-7 10.1016/0304-3975(92)90302-V 10.1017/S0956796800001490 10.1007/BF03037173 10.1145/63264.63265 10.1016/S0743-1066(98)10029-8 10.1007/BFb0023763 10.1145/237721.237809 10.1145/321992.321997 10.1017/S0956796800001039 10.1016/0743-1066(93)90043-G 10.1006/inco.1995.1033 10.1016/S0747-7171(89)80016-1 10.1017/S0956796800001040 10.2140/pjm.1955.5.285 10.1016/0304-3975(94)90209-7 10.1007/3-540-57867-6_1
ContentType	Journal Article
Copyright	2001 2002 INIST-CNRS
Copyright_xml	– notice: 2001 – notice: 2002 INIST-CNRS
DBID	6I. AAFTH AAYXX CITATION IQODW 7SC 8FD JQ2 L7M L~C L~D
DOI	10.1016/S0304-3975(01)00013-5
DatabaseName	ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Pascal-Francis Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional
DatabaseTitleList	Computer and Information Systems Abstracts
DeliveryMethod	fulltext_linktorsrc
Discipline	Mathematics Computer Science Applied Sciences
EISSN	1879-2294
EndPage	417
ExternalDocumentID	14122395 10_1016_S0304_3975_01_00013_5 S0304397501000135
GroupedDBID	--K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 29Q 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SCC SDF SDG SES SEW SPC SPCBC SSV SSW SSZ T5K TAE TN5 WH7 WUQ XJT YNT ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD AFXIZ AGCQF AGRNS BNPGV IQODW SSH 7SC 8FD JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c368t-cd8081c196fa8d6f4f6d2f1ca6ccaada0b22cd0ad4438a35309759cf07c203c83
ISICitedReferencesCount	1
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000172040600011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0304-3975
IngestDate	Sun Nov 09 13:22:07 EST 2025 Mon Jul 21 09:17:57 EDT 2025 Tue Nov 18 22:18:19 EST 2025 Sat Nov 29 06:16:34 EST 2025 Fri Feb 23 02:23:14 EST 2024
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	1
Keywords	Paradigm integration Object-oriented declarative programming Algebraic semantics Genetic inheritance Integration Paradigm Inheritance Rewriting Genetic character Tree structure Substitution Genetic algorithm Concurrency Semantics Object oriented Models Automatic machine Genome Declarative programming Regularity Object oriented programming Programming theory
Language	English
License	http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 CC BY 4.0
LinkModel	OpenURL
MergedId	FETCHMERGED-LOGICAL-c368t-cd8081c196fa8d6f4f6d2f1ca6ccaada0b22cd0ad4438a35309759cf07c203c83
Notes	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
OpenAccessLink	https://dx.doi.org/10.1016/S0304-3975(01)00013-5
PQID	26688805
PQPubID	23500
PageCount	55
ParticipantIDs	proquest_miscellaneous_26688805 pascalfrancis_primary_14122395 crossref_primary_10_1016_S0304_3975_01_00013_5 crossref_citationtrail_10_1016_S0304_3975_01_00013_5 elsevier_sciencedirect_doi_10_1016_S0304_3975_01_00013_5
PublicationCentury	2000
PublicationDate	2001-10-28
PublicationDateYYYYMMDD	2001-10-28
PublicationDate_xml	– month: 10 year: 2001 text: 2001-10-28 day: 28
PublicationDecade	2000
PublicationPlace	Amsterdam
PublicationPlace_xml	– name: Amsterdam
PublicationTitle	Theoretical computer science
PublicationYear	2001
Publisher	Elsevier B.V Elsevier
Publisher_xml	– name: Elsevier B.V – name: Elsevier
References	Abadi, Cardelli (BIB1) 1994; Vol. 789 H. Aı̈t-Kaci, A. Podelski, Functions as passive constraints, Tech. Report, Digital Paris Research Laboratory, November 1992. C.A. Gunter, D. Scott, Semantic domains, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990, pp. 633–674 (Chapter 6). González-Moreno, Hortalá-González, López-Fraguas, Rodrı́guez-Artalejo (BIB20) 1999; 40 Smolka, Aı̈t-Kaci (BIB40) 1989; 7 J. Goguen, G. Malcolm, A hidden agenda, Oxford University Computing Laboratory, Programming Research Group, 1996. Meseguer (BIB33) 1993 J. Mateos Lago, M. Rodrı́guez Artalejo, Tagged feature terms and continuous GOTA algebras, Tech. Report 70/97, Departamento de Informática y Automática, Universidad Complutense de Madrid, 1997. (http://mozart.sip.ucm.es/). Pierce, Turner (BIB37) 1994; 4 Tarski (BIB41) 1955; 5 J.S. Conery, Logical objects, in: R.A. Kowalski, K.A. Bowen (Eds.), 5th Internat. Conf. Symp. on Logic Programming, 1988, pp. 420–434. Meseguer, Goguen (BIB34) 1985 Smolka (BIB39) 1996; Vol. 1000 LaLonde (BIB29) 1989; 11 Hoffman, Pierce (BIB25) 1995; 5 Compagnoni, Fernández (BIB13) 1997; 1292 Wieringa (BIB42) 1991; Vol. 566 Meseguer, Martı́-Oliet (BIB35) 1995; Vol. 906 Monteiro, Porto (BIB36) 1989 Hodas, Miller (BIB24) 1990 Aı̈t-Kaci, Podelski, Smolka (BIB7) 1994; 122 M. Abadi, L. Cardelli, R. Viswanathan, An interpretation of objects and object types, Principles Programming Languages, Papers presented at the Symposium, St. Petersburg Beach, FL, USA, 21–24 January 1996. ACM Press, NY, 1996, pp. 396–409. Castagna, Ghelli, Longo (BIB12) 1995; 117 J. Mateos Lago, M. Rodrı́guez Artalejo, Operations with static typing in genetic inheritance object specifications, Tech. Report 82/98, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, 1998. (http://mozart.sip.ucm.es/). Rumbaugh, Blaha, Premerlain, Eddy, Lorensen (BIB38) 1991 Goguen, Thatcher, Wagner, Wright (BIB19) 1977; 24 Abadi, Cardelli (BIB2) 1996 Bruce (BIB9) 1994; 4 J. Mateos-Lago, M. Rodrı́guez-Artalejo, GOTA algebras: a specification formalism for inheritance and object hierarchies, PLILP’96, Lecture Notes in Computer Science, Vol. 1140, Springer, Berlin, 1996, pp. 62–76. Henz, Smolka, Würtz (BIB23) 1993 Delzanno, Martelli (BIB15) 1995 Cardelli (BIB11) 1988; 76 J.C. González-Moreno, M.T. Hortalá-González, M. Rodrı́guez-Artalejo, Denotational versus declarative semantics for functional programming, Proc. Internat. Conf. on Computer Science Logic (CSL’91), Lecture Notes in Computer Science, Vol. 626, Springer, Berlin, 1992, 134–148. Andreoli, Pareschi (BIB8) 1991; 9 J. Goguen, R. Diaconescu, Towards an algebraic semantics for the object paradigm, 9th Workshop on Specification of Abstract Data Types, Lecture Notes in Computer Science, Col. 785, Springer, Berlin, 1992, pp. 1–29. Bruce, Cardelli, Pierce (BIB10) 415438; 1997 Abelson, Sussman, Sussman (BIB4) 1985 Jacobs (BIB27) 1996; Vol. 1098 Aı̈t-Kaci, Podelski (BIB6) 1993; 16 Goguen, Meseguer (BIB18) 1992; 105 Jacobs, Rutten (BIB28) 1997; 62 Jacobs (BIB26) 1996 Abadi (10.1016/S0304-3975(01)00013-5_BIB1) 1994; Vol. 789 Bruce (10.1016/S0304-3975(01)00013-5_BIB10) 415438; 1997 Castagna (10.1016/S0304-3975(01)00013-5_BIB12) 1995; 117 Jacobs (10.1016/S0304-3975(01)00013-5_BIB26) 1996 Cardelli (10.1016/S0304-3975(01)00013-5_BIB11) 1988; 76 Meseguer (10.1016/S0304-3975(01)00013-5_BIB33) 1993 Compagnoni (10.1016/S0304-3975(01)00013-5_BIB13) 1997; 1292 Hodas (10.1016/S0304-3975(01)00013-5_BIB24) 1990 Henz (10.1016/S0304-3975(01)00013-5_BIB23) 1993 Rumbaugh (10.1016/S0304-3975(01)00013-5_BIB38) 1991 Aı̈t-Kaci (10.1016/S0304-3975(01)00013-5_BIB7) 1994; 122 10.1016/S0304-3975(01)00013-5_BIB22 10.1016/S0304-3975(01)00013-5_BIB21 Abelson (10.1016/S0304-3975(01)00013-5_BIB4) 1985 LaLonde (10.1016/S0304-3975(01)00013-5_BIB29) 1989; 11 Meseguer (10.1016/S0304-3975(01)00013-5_BIB34) 1985 Tarski (10.1016/S0304-3975(01)00013-5_BIB41) 1955; 5 Delzanno (10.1016/S0304-3975(01)00013-5_BIB15) 1995 10.1016/S0304-3975(01)00013-5_BIB3 Aı̈t-Kaci (10.1016/S0304-3975(01)00013-5_BIB6) 1993; 16 Andreoli (10.1016/S0304-3975(01)00013-5_BIB8) 1991; 9 10.1016/S0304-3975(01)00013-5_BIB5 Pierce (10.1016/S0304-3975(01)00013-5_BIB37) 1994; 4 Hoffman (10.1016/S0304-3975(01)00013-5_BIB25) 1995; 5 Monteiro (10.1016/S0304-3975(01)00013-5_BIB36) 1989 Wieringa (10.1016/S0304-3975(01)00013-5_BIB42) 1991; Vol. 566 González-Moreno (10.1016/S0304-3975(01)00013-5_BIB20) 1999; 40 Bruce (10.1016/S0304-3975(01)00013-5_BIB9) 1994; 4 10.1016/S0304-3975(01)00013-5_BIB31 10.1016/S0304-3975(01)00013-5_BIB30 Smolka (10.1016/S0304-3975(01)00013-5_BIB40) 1989; 7 10.1016/S0304-3975(01)00013-5_BIB32 Smolka (10.1016/S0304-3975(01)00013-5_BIB39) 1996; Vol. 1000 10.1016/S0304-3975(01)00013-5_BIB14 10.1016/S0304-3975(01)00013-5_BIB17 10.1016/S0304-3975(01)00013-5_BIB16 Jacobs (10.1016/S0304-3975(01)00013-5_BIB28) 1997; 62 Goguen (10.1016/S0304-3975(01)00013-5_BIB18) 1992; 105 Goguen (10.1016/S0304-3975(01)00013-5_BIB19) 1977; 24 Jacobs (10.1016/S0304-3975(01)00013-5_BIB27) 1996; Vol. 1098 Meseguer (10.1016/S0304-3975(01)00013-5_BIB35) 1995; Vol. 906 Abadi (10.1016/S0304-3975(01)00013-5_BIB2) 1996
References_xml	– reference: J. Mateos-Lago, M. Rodrı́guez-Artalejo, GOTA algebras: a specification formalism for inheritance and object hierarchies, PLILP’96, Lecture Notes in Computer Science, Vol. 1140, Springer, Berlin, 1996, pp. 62–76. – reference: J. Goguen, R. Diaconescu, Towards an algebraic semantics for the object paradigm, 9th Workshop on Specification of Abstract Data Types, Lecture Notes in Computer Science, Col. 785, Springer, Berlin, 1992, pp. 1–29. – reference: J.C. González-Moreno, M.T. Hortalá-González, M. Rodrı́guez-Artalejo, Denotational versus declarative semantics for functional programming, Proc. Internat. Conf. on Computer Science Logic (CSL’91), Lecture Notes in Computer Science, Vol. 626, Springer, Berlin, 1992, 134–148. – volume: Vol. 1098 start-page: 210 year: 1996 end-page: 231 ident: BIB27 article-title: Inheritance and cofree constructions publication-title: European Conf. on Object-Oriented Programming – volume: 5 start-page: 593 year: 1995 end-page: 635 ident: BIB25 article-title: A unifying type-theoretic framework for objects publication-title: J. Funct. Programming – reference: J.S. Conery, Logical objects, in: R.A. Kowalski, K.A. Bowen (Eds.), 5th Internat. Conf. Symp. on Logic Programming, 1988, pp. 420–434. – start-page: 115 year: 1995 end-page: 129 ident: BIB15 article-title: Objects in Forum publication-title: Internat. Conf. Symp. on Logic Programming – volume: Vol. 1000 start-page: 324 year: 1996 end-page: 343 ident: BIB39 article-title: The Oz programming model publication-title: Computer Science Today – reference: C.A. Gunter, D. Scott, Semantic domains, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990, pp. 633–674 (Chapter 6). – reference: J. Mateos Lago, M. Rodrı́guez Artalejo, Tagged feature terms and continuous GOTA algebras, Tech. Report 70/97, Departamento de Informática y Automática, Universidad Complutense de Madrid, 1997. (http://mozart.sip.ucm.es/). – volume: 1292 year: 1997 ident: BIB13 publication-title: An object calculus with algebraic rewriting, PLILP’97 – volume: 105 start-page: 217 year: 1992 end-page: 273 ident: BIB18 article-title: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations publication-title: Theoret. Comput. Sci. – volume: 1997 year: 415438 ident: BIB10 article-title: Comparing object encodings publication-title: TACS – volume: 40 start-page: 47 year: 1999 end-page: 87 ident: BIB20 article-title: An approach to declarative programming based on a rewriting logic publication-title: J. Logic Programming – year: 1991 ident: BIB38 publication-title: Object-Oriented Modeling and Design – volume: Vol. 789 start-page: 296 year: 1994 end-page: 320 ident: BIB1 article-title: A theory of primitive objects, Proc. Theoretical Aspects of Computer Software publication-title: Lecture Notes in Computer Science – volume: 76 start-page: 138 year: 1988 end-page: 164 ident: BIB11 article-title: A semantics of multiple inheritance publication-title: Inform. and Comput. – start-page: 315 year: 1993 end-page: 390 ident: BIB33 article-title: A logical theory of concurrent objects and its realization in the Maude language publication-title: Research Directions in Concurrent Object-Oriented Programming – start-page: 284 year: 1989 end-page: 299 ident: BIB36 article-title: Contextual logic programming publication-title: 6th Internat. Conf. on Logic Programming – volume: 4 start-page: 127 year: 1994 end-page: 206 ident: BIB9 article-title: A paradigmatic object-oriented programming language: design, static typing and semantics publication-title: J. Funct. Programming – year: 1985 ident: BIB34 publication-title: Initiality, induction and computability – volume: 5 start-page: 285 year: 1955 end-page: 309 ident: BIB41 article-title: A lattice-theoretical fixpoint theorem and its applications publication-title: Pacific J. Math. – reference: H. Aı̈t-Kaci, A. Podelski, Functions as passive constraints, Tech. Report, Digital Paris Research Laboratory, November 1992. – volume: 7 start-page: 343 year: 1989 end-page: 370 ident: BIB40 article-title: Inheritance hierarchies: semantics and unification publication-title: J. Symbolic Comput. – reference: J. Goguen, G. Malcolm, A hidden agenda, Oxford University Computing Laboratory, Programming Research Group, 1996. – volume: 11 start-page: 212 year: 1989 end-page: 248 ident: BIB29 article-title: Designing families of data types using exemplars publication-title: ACM Trans. Programming Languages Systems – volume: Vol. 566 start-page: 431 year: 1991 end-page: 452 ident: BIB42 article-title: A formalization of objects using equational dynamic logic publication-title: 2nd Internat. Congress on Deductive and Object-Oriented Databases DOOD’91 – year: 1996 ident: BIB26 publication-title: Objects and classes, co-algebraically – volume: 16 start-page: 195 year: 1993 end-page: 234 ident: BIB6 article-title: Towards a meaning of LIFE publication-title: J. Logic Programming – year: 1996 ident: BIB2 publication-title: A Theory of Objects – volume: 122 start-page: 263 year: 1994 end-page: 283 ident: BIB7 article-title: Feature-based constraint system for logic programming with entailment publication-title: Theoret. Comput. Sci. – volume: 24 start-page: 68 year: 1977 end-page: 95 ident: BIB19 article-title: Initial algebra semantics and continuous algebras publication-title: J. ACM – reference: J. Mateos Lago, M. Rodrı́guez Artalejo, Operations with static typing in genetic inheritance object specifications, Tech. Report 82/98, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, 1998. (http://mozart.sip.ucm.es/). – volume: 9 start-page: 445 year: 1991 end-page: 473 ident: BIB8 article-title: Linear objects publication-title: New Generation Comput. – volume: 117 start-page: 115 year: 1995 end-page: 135 ident: BIB12 article-title: A calculus for overloaded functions with subtyping publication-title: Inform. and Comput. – volume: Vol. 906 start-page: 48 year: 1995 end-page: 80 ident: BIB35 article-title: From abstract data types to logical frameworks publication-title: Recent Trends in Data Type Specification – year: 1993 ident: BIB23 publication-title: Object-oriented concurrent constraint programming in Oz – reference: M. Abadi, L. Cardelli, R. Viswanathan, An interpretation of objects and object types, Principles Programming Languages, Papers presented at the Symposium, St. Petersburg Beach, FL, USA, 21–24 January 1996. ACM Press, NY, 1996, pp. 396–409. – year: 1985 ident: BIB4 publication-title: Structure and Interpretation of Computer Programs – start-page: 511 year: 1990 end-page: 526 ident: BIB24 article-title: Representing objects in a logic programming language with scoped constructs publication-title: 7th Internat. Conf. on Logic Programming – volume: 4 start-page: 107 year: 1994 end-page: 247 ident: BIB37 article-title: Simple type-theoretic foundations for object-oriented programming publication-title: J. Funct. Programming – volume: 62 start-page: 222 year: 1997 end-page: 259 ident: BIB28 article-title: A tutorial on (Co)algebras and (Co)induction publication-title: EATCS Bull. – ident: 10.1016/S0304-3975(01)00013-5_BIB22 doi: 10.1016/B978-0-444-88074-1.50017-2 – volume: Vol. 1000 start-page: 324 year: 1996 ident: 10.1016/S0304-3975(01)00013-5_BIB39 article-title: The Oz programming model – volume: 76 start-page: 138 issue: 2/3 year: 1988 ident: 10.1016/S0304-3975(01)00013-5_BIB11 article-title: A semantics of multiple inheritance publication-title: Inform. and Comput. doi: 10.1016/0890-5401(88)90007-7 – volume: 1292 year: 1997 ident: 10.1016/S0304-3975(01)00013-5_BIB13 – ident: 10.1016/S0304-3975(01)00013-5_BIB31 – year: 1996 ident: 10.1016/S0304-3975(01)00013-5_BIB2 – year: 1985 ident: 10.1016/S0304-3975(01)00013-5_BIB4 – volume: Vol. 566 start-page: 431 year: 1991 ident: 10.1016/S0304-3975(01)00013-5_BIB42 article-title: A formalization of objects using equational dynamic logic – year: 1991 ident: 10.1016/S0304-3975(01)00013-5_BIB38 – volume: 105 start-page: 217 year: 1992 ident: 10.1016/S0304-3975(01)00013-5_BIB18 article-title: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations publication-title: Theoret. Comput. Sci. doi: 10.1016/0304-3975(92)90302-V – volume: 1997 year: 415438 ident: 10.1016/S0304-3975(01)00013-5_BIB10 article-title: Comparing object encodings publication-title: TACS – year: 1993 ident: 10.1016/S0304-3975(01)00013-5_BIB23 – volume: Vol. 1098 start-page: 210 year: 1996 ident: 10.1016/S0304-3975(01)00013-5_BIB27 article-title: Inheritance and cofree constructions – volume: 5 start-page: 593 issue: 4 year: 1995 ident: 10.1016/S0304-3975(01)00013-5_BIB25 article-title: A unifying type-theoretic framework for objects publication-title: J. Funct. Programming doi: 10.1017/S0956796800001490 – year: 1985 ident: 10.1016/S0304-3975(01)00013-5_BIB34 – volume: 9 start-page: 445 issue: 3–4 year: 1991 ident: 10.1016/S0304-3975(01)00013-5_BIB8 article-title: Linear objects publication-title: New Generation Comput. doi: 10.1007/BF03037173 – ident: 10.1016/S0304-3975(01)00013-5_BIB14 – ident: 10.1016/S0304-3975(01)00013-5_BIB5 – volume: 11 start-page: 212 issue: 2 year: 1989 ident: 10.1016/S0304-3975(01)00013-5_BIB29 article-title: Designing families of data types using exemplars publication-title: ACM Trans. Programming Languages Systems doi: 10.1145/63264.63265 – volume: Vol. 906 start-page: 48 year: 1995 ident: 10.1016/S0304-3975(01)00013-5_BIB35 article-title: From abstract data types to logical frameworks – volume: 40 start-page: 47 issue: 1 year: 1999 ident: 10.1016/S0304-3975(01)00013-5_BIB20 article-title: An approach to declarative programming based on a rewriting logic publication-title: J. Logic Programming doi: 10.1016/S0743-1066(98)10029-8 – ident: 10.1016/S0304-3975(01)00013-5_BIB21 doi: 10.1007/BFb0023763 – ident: 10.1016/S0304-3975(01)00013-5_BIB32 – ident: 10.1016/S0304-3975(01)00013-5_BIB3 doi: 10.1145/237721.237809 – volume: 62 start-page: 222 year: 1997 ident: 10.1016/S0304-3975(01)00013-5_BIB28 article-title: A tutorial on (Co)algebras and (Co)induction publication-title: EATCS Bull. – start-page: 315 year: 1993 ident: 10.1016/S0304-3975(01)00013-5_BIB33 article-title: A logical theory of concurrent objects and its realization in the Maude language – ident: 10.1016/S0304-3975(01)00013-5_BIB30 – volume: 24 start-page: 68 issue: 1 year: 1977 ident: 10.1016/S0304-3975(01)00013-5_BIB19 article-title: Initial algebra semantics and continuous algebras publication-title: J. ACM doi: 10.1145/321992.321997 – start-page: 284 year: 1989 ident: 10.1016/S0304-3975(01)00013-5_BIB36 article-title: Contextual logic programming – volume: 4 start-page: 127 issue: 2 year: 1994 ident: 10.1016/S0304-3975(01)00013-5_BIB9 article-title: A paradigmatic object-oriented programming language: design, static typing and semantics publication-title: J. Funct. Programming doi: 10.1017/S0956796800001039 – volume: 16 start-page: 195 year: 1993 ident: 10.1016/S0304-3975(01)00013-5_BIB6 article-title: Towards a meaning of LIFE publication-title: J. Logic Programming doi: 10.1016/0743-1066(93)90043-G – volume: 117 start-page: 115 year: 1995 ident: 10.1016/S0304-3975(01)00013-5_BIB12 article-title: A calculus for overloaded functions with subtyping publication-title: Inform. and Comput. doi: 10.1006/inco.1995.1033 – ident: 10.1016/S0304-3975(01)00013-5_BIB17 – start-page: 511 year: 1990 ident: 10.1016/S0304-3975(01)00013-5_BIB24 article-title: Representing objects in a logic programming language with scoped constructs – year: 1996 ident: 10.1016/S0304-3975(01)00013-5_BIB26 – volume: 7 start-page: 343 year: 1989 ident: 10.1016/S0304-3975(01)00013-5_BIB40 article-title: Inheritance hierarchies: semantics and unification publication-title: J. Symbolic Comput. doi: 10.1016/S0747-7171(89)80016-1 – volume: 4 start-page: 107 issue: 2 year: 1994 ident: 10.1016/S0304-3975(01)00013-5_BIB37 article-title: Simple type-theoretic foundations for object-oriented programming publication-title: J. Funct. Programming doi: 10.1017/S0956796800001040 – volume: 5 start-page: 285 year: 1955 ident: 10.1016/S0304-3975(01)00013-5_BIB41 article-title: A lattice-theoretical fixpoint theorem and its applications publication-title: Pacific J. Math. doi: 10.2140/pjm.1955.5.285 – volume: 122 start-page: 263 issue: 1–2 year: 1994 ident: 10.1016/S0304-3975(01)00013-5_BIB7 article-title: Feature-based constraint system for logic programming with entailment publication-title: Theoret. Comput. Sci. doi: 10.1016/0304-3975(94)90209-7 – volume: Vol. 789 start-page: 296 year: 1994 ident: 10.1016/S0304-3975(01)00013-5_BIB1 article-title: A theory of primitive objects, Proc. Theoretical Aspects of Computer Software – ident: 10.1016/S0304-3975(01)00013-5_BIB16 doi: 10.1007/3-540-57867-6_1 – start-page: 115 year: 1995 ident: 10.1016/S0304-3975(01)00013-5_BIB15 article-title: Objects in Forum
SSID	ssj0000576
Score	1.6144323
Snippet	Seeking the integration of the object-oriented and declarative programming paradigms offers advantages for the software life-cycle activities. Specification is...
SourceID	proquest pascalfrancis crossref elsevier
SourceType	Aggregation Database Index Database Enrichment Source Publisher
StartPage	363
SubjectTerms	Algebraic semantics Algorithmics. Computability. Computer arithmetics Applied sciences Computer science; control theory; systems Exact sciences and technology Genetic inheritance Object-oriented declarative programming Paradigm integration Programming theory Theoretical computing
Title	A declarative framework for object-oriented programming with genetic inheritance
URI	https://dx.doi.org/10.1016/S0304-3975(01)00013-5 https://www.proquest.com/docview/26688805
Volume	269
WOSCitedRecordID	wos000172040600011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-2294 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AIEXJ dateStart: 19950109 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLbKxgMIcRmgjcvwA0igKMNxnMR5LNUQIG2aYEh9i2wnmTp1SWnaaeJn8Is5jh2npUIDJF6iKPJFyvflnC_2OT4IveQSSES49IWu4c4CWYIdJMJXJMmLCAQyZaItNpEcH_PxOD0ZDH50uTCX06Sq-NVVOvuvUMMzAFunzv4F3G5QeAD3ADpcAXa4_hHwQy8v1NSd6N0FX7XxhLXUyy5-rQ831lLTRmdduBVZGFVnNXqTSucFLhwlzh2pXNqjsvUgPOtEXWiPODO7ObX4ttRa9V3wajQCxVp5RyBs66bnGAj_4ry2KUOT2vtc5_PVHmfL4vvaskQbF2fTvNu1so18GZOjpfdhUlMr5aAwJpcnqU-pKXXc2WRq6reskc9Y2NDaQ-OsmUn83PADZknii5sP1LquSJC2ktePeufnQhLbtropCdpG0Q20TZMoBWO_Pfx4OP7U-_coMTvgduw-L-xtP-FrEryxk_1O8dyZiQbgKk0BlQ0t0Aqc0_vorv0zwUPDqAdoUFQ76F5X9QNbJ7CDbh-5k36bh-hkiFfohh3dMNAN_0I3vEI3rOmGLd3wCt0eoa_vD09HH3xbpcNXYcwXvsp18RYFlrwUPI9LVsY5LQMlYjAOIhdEUqpyInLGQi7CKCTwelJVkkRREioePkZbVV0VuwhzGoUyUKVUUjGWhhIaxyIRLBYqliXdQ6x7k5myR9jrSirTrI9VBAAyDUBGgjawIsyiPXTgus3MGS7XdeAdTJn9hozAzIBf13XdX4O1n5AFoMRTaPCiwzkDS66350RV1MsmA6nMwZtGT_599qfoVv8tPkNbi_myeI5uqsvFpJnvWyL_BCHNvQw
linkProvider	Elsevier
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+declarative+framework+for+object-oriented+programming+with+genetic+inheritance&rft.jtitle=Theoretical+computer+science&rft.au=Lago%2C+Joaqu%C4%B1%CC%81n+Mateos&rft.au=Artalejo%2C+Mario+Rodr%C4%B1%CC%81guez&rft.date=2001-10-28&rft.pub=Elsevier+B.V&rft.issn=0304-3975&rft.eissn=1879-2294&rft.volume=269&rft.issue=1&rft.spage=363&rft.epage=417&rft_id=info:doi/10.1016%2FS0304-3975%2801%2900013-5&rft.externalDocID=S0304397501000135
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon