×

zbMATH — the first resource for mathematics

Towards an algebraic semantics for the object paradigm. (English) Zbl 0941.68637
Ehrig, Hartmut (ed.) et al., Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 785, 1-29 (1994).
For the entire collection see [Zbl 0825.00076].

MSC:
68Q65 Abstract data types; algebraic specification
68Q55 Semantics in the theory of computing
Software:
2OBJ
PDF BibTeX XML Cite