References
Hatcher, P., “The Equational Specification of Efficient Compiler Code Generation,” Comp. Lang. 16(1) pp. 81–95 Pergamon Press, (1991).
Herman, M., Kirchner, C., and Kirchner, H., “Implementations of Term Rewriting Systems,” The Computer Journal 34 pp. 20–33 (January 1991).
O'Donnell, M., Equational Logic as a Programming Language, The MIT Press, Cambridge, Massachusetts (1985).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hamel, L.H. (1992). UCG-E: An equational logic programming system. In: Bruynooghe, M., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1992. Lecture Notes in Computer Science, vol 631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55844-6_155
Download citation
DOI: https://doi.org/10.1007/3-540-55844-6_155
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55844-6
Online ISBN: 978-3-540-47297-1
eBook Packages: Springer Book Archive