Towards an Algebraic Semantics for the Object Paradigm

Authors:
Joseph A. Goguen;Razvan Diaconescu
Affiliations:
-;-
Venue:
Selected papers from the 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop on Recent Trends in Data Type Specification
Year:
1992

Citing 0
Cited 5

Logical foundations of cafeOBJ

Theoretical Computer Science - Rewriting logic and its applications
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A survey of semantic description frameworks for programming languages

ACM SIGPLAN Notices
Behavioral abstraction is hiding information

Theoretical Computer Science - Selected papers of CMCS'03
Component-Based Specification of Collaborative Objects

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract