Parameter Passing in Algebraic Specification Languages

Authors:
Hartmut Ehrig;Hans-Jörg Kreowski;James W. Thatcher;Eric G. Wagner;Jesse B. Wright
Affiliations:
-;-;-;-;-
Venue:
Program Specification, Proceedings of a Workshop
Year:
1981

Citing 0
Cited 3

Constructing specification morphisms

Journal of Symbolic Computation - Special issue on automatic programming
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract and behaviour module specifications

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract