Synthesizing abstract data types by rewrite rules and explanation-based learning

CP Willis, DJ Paddon

Research output: Working paperWorking paper and Preprints

Translated title of the contributionSynthesizing abstract data types by rewrite rules and explanation-based learning
Original languageEnglish
PublisherUniversity of Bristol
Number of pages7
Publication statusPublished - 1992

Bibliographical note

Other: # CSTR-92-11

Cite this

Willis, CP., & Paddon, DJ. (1992). Synthesizing abstract data types by rewrite rules and explanation-based learning. University of Bristol.