Pages that link to "Item:Q4876361"
From MaRDI portal
The following pages link to An algebraic approach to formalization of object-orientation<sup>*</sup> (Q4876361):
Displaying 12 items.
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187) (← links)
- Virginity: A contribution to the specification of object-oriented software (Q1608296) (← links)
- Object oriented protoconcepts and logics for double and pure double Boolean algebras (Q2096570) (← links)
- Object calculus and the object-oriented analysis and design of an error-sensitive GIS (Q2744813) (← links)
- (Q2761706) (← links)
- A recursive object algebra based on aggregation abstraction for manipulating complex objects (Q3139912) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- (Q4005171) (← links)
- Formal justification in object-oriented modelling: A linguistic approach (Q4955649) (← links)
- Object organisation in software environments for formal methods (Q5044744) (← links)
- Mechanisms for naming an algebraic approach with an application to Java (Q5929013) (← links)