REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
- 1 February 2001
- journal article
- research article
- Published by World Scientific Pub Co Pte Ltd in International Journal of Foundations of Computer Science
- Vol. 12 (01) , 69-95
- https://doi.org/10.1142/s0129054101000412
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and StrategiesFundamenta Informaticae, 1998
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- A higher-order implementation of rewritingScience of Computer Programming, 1983