The following pages link to (Q4005171):
Displaying 12 items.
- Algebraic specification techniques in object oriented programming environments (Q396984) (← links)
- Extensions of iterative congruences of free iterative algebras (Q792751) (← links)
- Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187) (← links)
- Subobject classifier for algebraic structures (Q1097957) (← links)
- Virginity: A contribution to the specification of object-oriented software (Q1608296) (← links)
- (Q2761706) (← links)
- A graph-based semantics for object-oriented programming constructs (Q2849880) (← links)
- An algebraic approach to formalization of object-orientation<sup>*</sup> (Q4876361) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Towards Class Diagram Algebra for Composing Data Models (Q5392409) (← links)
- Theory and Applications of Models of Computation (Q5898913) (← links)
- Mechanisms for naming an algebraic approach with an application to Java (Q5929013) (← links)