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

CP Willis, DJ Paddon

Research output: Working paper › Working paper and Preprints

Translated title of the contribution	Synthesizing abstract data types by rewrite rules and explanation-based learning
Original language	English
Publisher	University of Bristol
Number of pages	7
Publication status	Published - 1992

Other: # CSTR-92-11

Cite this

@techreport{a8076231bfb34bbb86c235ecc85f05c2,

title = "Synthesizing abstract data types by rewrite rules and explanation-based learning",

author = "CP Willis and DJ Paddon",

note = "Other: # CSTR-92-11",

year = "1992",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}