Introduction to Data Algebra

Authors:
Stephen N. Zilles
Affiliations:
-
Venue:
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Year:
1979

Citing 0
Cited 3

Synthesizing abstract data type specifications

ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Function level programs as mathematical objects

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Towards a practical specification language

ACM '81 Proceedings of the ACM '81 conference

Quantified Score

Hi-index	0.00

Visualization

Abstract