On the algebraic specification of classes and inheritance in object-oriented programming
From MaRDI portal
Recommendations
Cited in
(14)- Algorithms and proofs inheritance in the FOC language
- A graph-based semantics for object-oriented programming constructs
- An inheritance flow model for class hierarchy analysis
- Algebraic specification techniques in object oriented programming environments
- scientific article; zbMATH DE number 58285 (Why is no real title available?)
- scientific article; zbMATH DE number 1019598 (Why is no real title available?)
- scientific article; zbMATH DE number 1541629 (Why is no real title available?)
- An algebraic approach to formalization of object-orientation*
- An algebraic theory of actors and its application to a simple object-based language
- A declarative framework for object-oriented programming with genetic inheritance
- On the role of memory in object-based and object-oriented languages
- An operational semantics for object-oriented concepts based on the class hierarchy
- Extensions of iterative congruences of free iterative algebras
- Implementation of data types by algebraic methods
This page was built for publication: On the algebraic specification of classes and inheritance in object-oriented programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362900)
