Paper: Good Rewrite Strategies for FP (at LICS 1986)
Authors: Joseph Y. Halpern John H. Williams Edward L. WimmersAbstract
No Abstract Available
BibTeX
@InProceedings{HalpernWilliamsWimm-GoodRewriteStrategi, author = {Joseph Y. Halpern and John H. Williams and Edward L. Wimmers}, title = {Good Rewrite Strategies for FP}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {149--162}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }