An axiomatic approach to semantics of specification languages

Authors:
Johann A. Makowsky;Bernd Mahr
Affiliations:
-;-
Venue:
Proceedings of the 6th GI-Conference on Theoretical Computer Science
Year:
1983

Citing 0
Cited 2

Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
On understanding data abstraction, revisited

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract