Typed generic traversal with term rewriting strategies
- 1 January 2003
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 54 (1-2) , 1-64
- https://doi.org/10.1016/s1567-8326(02)00028-0
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- CASL: the Common Algebraic Specification LanguageTheoretical Computer Science, 2001
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICSInternational Journal of Foundations of Computer Science, 2001
- Generation of components for software renovation factories from context-free grammarsScience of Computer Programming, 2000
- An Overview of ELANElectronic Notes in Theoretical Computer Science, 1998
- Comparing cubes of typed and type assignment systemsAnnals of Pure and Applied Logic, 1997
- Controlling Rewriting by RewritingElectronic Notes in Theoretical Computer Science, 1996
- Principles of MaudeElectronic Notes in Theoretical Computer Science, 1996
- Intersection and Union Types: Syntax and SemanticsInformation and Computation, 1995
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Functional Characters of Solvable TermsMathematical Logic Quarterly, 1981