Parameter-preserving data type specifications
Authors:
Peter Padawitz
Affiliations:
-
Venue:
Journal of Computer and System Sciences
Year:
1987
Citing
0
Cited
1
Order-sorted parameterization and induction
Semantics and algebraic specification
Quantified Score
Hi-index
0.01
Visualization
Abstract