EPIC: An Equational Programming Language-- Abstract Machine and Supporting Tools-- H.R.Walters
Download:
|
|
unknown authors
http://www.babelfish.nl/articles/intro.ps
Add To MetaCart
Abstract:
Equational programming is the use of (confluent) term rewriting systems as a programming language with don't care non-determinism, against a formal background
Citations
| 28 | Compilation of Term Rewriting Systems – Kamperman - 1996 |
| 26 | W.: Term-rewriting systems with rule priorities. Theoretical Computer Science 67 – Baeten, Bergstra, et al. - 1989 |
| 23 | On Equal Terms, Implementing Algebraic Specifications – Walters - 1991 |
| 22 | abstract rewriting machine – Kamperman, ARM - 1993 |
| 14 | Lazy rewriting and eager machinery – Kamperman, Walters - 1995 |
| 7 | A model for I/O in equational languages with don't care non-determinism – Kamperman - 1996 |
| 4 | a graph exchange language. Report CS-R9440, Centrum voor Wiskunde en Informatica (CWI – GEL - 1994 |
| 3 | editors. Algebraic specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley – Bergstra, Heering, et al. - 1989 |
