Pages that link to "Item:Q396984"
From MaRDI portal
The following pages link to Algebraic specification techniques in object oriented programming environments (Q396984):
Displaying 7 items.
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) (Q2365396) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- (Q4005171) (← links)
- An algebraic approach to formalization of object-orientation<sup>*</sup> (Q4876361) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- Mechanisms for naming an algebraic approach with an application to Java (Q5929013) (← links)