A declarative framework for object-oriented programming with genetic inheritance

DOI10.1016/S0304-3975(01)00013-5zbMath0992.68025MaRDI QIDQ5958620

Mario Rodríguez Artalejo, Joaquín Mateos Lago

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic semanticsgenetic inheritanceobject-oriented declarative programmingparadigm integration

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Oz

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semantics of multiple inheritance
• Inheritance hierarchies: Semantics and unifications
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A feature constraint system for logic programming with entailment
• Comparing object encodings.
• A calculus for overloaded functions with subtyping
• A lattice-theoretical fixpoint theorem and its applications
• Initial Algebra Semantics and Continuous Algebras
• An approach to declarative programming based on a rewriting logic
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Simple type-theoretic foundations for object-oriented programming
• Towards a meaning of life