A Rewrite Rule Based Approach for Synthesizing Abstract Data Types
Authors:
Deepak Kapur;Mandayam K. Srivas
Affiliations:
-;-
Venue:
CAAP '85 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development