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.
CITATION STYLE
Tucker, J. V., & Zucker, J. I. (1990). Toward a general theory of computation and specification over abstract data types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 468 LNCS, pp. 129–133). Springer Verlag. https://doi.org/10.1007/3-540-53504-7_69
Mendeley helps you to discover research relevant for your work.