Publication:3707390
From MaRDI portal
zbMath0584.68044MaRDI QIDQ3707390
Publication date: 1985
correctness; persistency; pushouts; free functors; passing compatibility; semantic constructs; semantics of parametrized data types
Related Items
Parametrization for order-sorted algebraic specification, A characterization of passing compatibility for parameterized specifications