R. J. Boulton. A restricted form of higher-order rewriting applied to an HDL semantics. In J. Hsiang, editor, Rewriting Techniques and Applications: 6th International Conference, volume 914 of Lecture Notes in Computer Science, pages 309--323. Springer-Verlag, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Higher-order Matching for Program Transformation - de Moor, Sittampalam (1999) (12 citations) (Correct)
....with the MAG system [10] there seem to be a handful of techniques to deal with failed matches (for instance raising a rule by introducing explicit abstractions) so we feel that the disadvantage is not too serious. There is a wealth of related work on higher order matching and unification [5, 7, 11, 12, 13, 16, 18, 24, 25], to name just a few. One important concept identified in some of these works (in particular [16, 18] is that of a restricted notion of higher order pattern. To wit, a restricted pattern is a normal term where every occurrence of a free function variable is applied to a list of distinct local ....
R. J. Boulton. A restricted form of higher-order rewriting applied to an HDL semantics. In J. Hsiang, editor, Rewriting Techniques and Applications: 6th International Conference, volume 914 of Lecture Notes in Computer Science, pages 309--323. Springer-Verlag, 1995.
Higher-order Matching for Program Transformation - de Moor, Sittampalam (1999) (12 citations) (Correct)
....with the MAG system [9] there seem to be a handful of techniques to deal with failed matches (for instance raising a rule by introducing explicit abstractions) so we feel that the disadvantage is not too serious. There is a wealth of related work on higher order matching and unification [5, 7, 11 13, 16, 18, 24, 25], to name just a few. One important concept identified in some of these works (in particular [16, 18] is that of a restricted notion of higher order pattern. To wit, a restricted pattern is a normal term where every occurrence of a free function variable is applied to a list of distinct local ....
R. J. Boulton. A restricted form of higher-order rewriting applied to an HDL semantics. In J. Hsiang, editor, Rewriting Techniques and Applications: 6th International Conference, volume 914 of Lecture Notes in Computer Science, pages 309--323. Springer-Verlag, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC