A declarative framework for object-oriented programming with genetic inheritance
From MaRDI portal
Recommendations
Cites work
- A calculus for overloaded functions with subtyping
- A feature constraint system for logic programming with entailment
- A lattice-theoretical fixpoint theorem and its applications
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- A semantics of multiple inheritance
- An approach to declarative programming based on a rewriting logic
- Comparing object encodings.
- scientific article; zbMATH DE number 4209572 (Why is no real title available?)
- scientific article; zbMATH DE number 3911679 (Why is no real title available?)
- scientific article; zbMATH DE number 51216 (Why is no real title available?)
- scientific article; zbMATH DE number 408794 (Why is no real title available?)
- scientific article; zbMATH DE number 1195981 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1142322 (Why is no real title available?)
- scientific article; zbMATH DE number 1479620 (Why is no real title available?)
- scientific article; zbMATH DE number 941394 (Why is no real title available?)
- scientific article; zbMATH DE number 944097 (Why is no real title available?)
- scientific article; zbMATH DE number 1418819 (Why is no real title available?)
- Inheritance hierarchies: Semantics and unifications
- Initial Algebra Semantics and Continuous Algebras
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Simple type-theoretic foundations for object-oriented programming
- Towards a meaning of life
This page was built for publication: A declarative framework for object-oriented programming with genetic inheritance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5958620)
