Journal article
Toward a general theory of computation and specification over abstract data types
Abstract
We describe an ongoing project, to develop a general theory of computation and specification over classes of structures, modelling abstract data types. Applications include logic programming module development and hardware design for synchronous concurrent algorithms.
Authors
Tucker JV; Zucker JI
Journal
Lecture Notes in Computer Science, Vol. 468, , pp. 129–133
Publisher
Springer Nature
Publication Date
1990
DOI
10.1007/3-540-53504-7_69
ISSN
0302-9743