EPIC: An equational language — Abstract machine and supporting tools —

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1103, Issue , 1996, Pages 424-427

  Walters, H R ^a   Th Kamperman, Juris F ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957645930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61464-8_72     Document Type: Conference Paper

References (9)

1. J.C.M. Baeten, J.A. Bergstra, J.W. Klop, and W.P. Weijland. Term-rewriting systems with rule priorities. Theoretical Computer Science, 67(1):283-301, 1989.
2. J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
3. Pieter H. Hartel, Marc Feeley, et al. Benchmarking implementations of functional languages with "pseudoknot", a float-intensive benchmark. Journal of Functional Programming, 1996. Accepted for publication.
4. J.F.Th. Kamperman. GEL, a graph exchange language. Report CS-R9440, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1994. Available by ftp from ftp.cwi.nl:/pub/gipe as Kam94.ps.Z.
5. J.F.Th. Kamperman and H.R. Walters. ARM - Abstract Rewriting Machine. In H. A. Wijshoff, editor, Computing Science in the Netherlands, pages 193-204, 1993.
6. J.F.Th. Kamperman and H.R. Walters. Lazy rewriting and eager machinery. In Jieh Hsiang, editor, Rewriting Techniques and Applications, number 914 in Lecture Notes in Computer Science, pages 147-162. Springer-Verlag, 1995.
7. J.F.Th. Kamperman and H.R. Walters. Minimal term rewriting systems. Technical Report CS-R9573, CWI, december 1995. Available as http://www.cwi.n1/epic/articles/CS-R9573.ps.Z. To appear in the proceedings of the 11th Workshop on Abstract Data Types, published by Springer-Verlag.
8. H.R. Walters. On Equal Terms, Implementing Algebraic Specifications. PhD thesis, University of Amsterdam, 1991. Available by ftp from ftp.cwi.nl:/pub/gipe/reports as Wal91.ps.Z.
9. H.R. Walters and J.F.Th. Kamperman. A model for I/O in equational languages with don't care non-determinism. Technical Report CS-R9572, CWI, december 1995. Available as http://www.cwi.n1/epic/axticles/CS-R9572.ps.Z. To appear in the proceedings of the 11th Workshop on Abstract Data Types, published by Springer-Verlag.