Bibliographic Details
| Title: |
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting. |
| Authors: |
Sinot, François-Régis1 frs@lix.polytechnique.fr |
| Source: |
Journal of Logic & Computation. Apr2005, Vol. 15 Issue 2, p201-218. 18p. |
| Subjects: |
Computational linguistics, Rewriting systems (Computer science), Mathematical variables, Calculus, Computer science, Information theory |
| Abstract: |
The representation of free variables is crucial for the efficiency of the implementation of various kinds of rewrite systems. We give an innovative, although very natural, representation of variables abstract enough to fit in many different frameworks and more satisfactory from an operational perspective than usual representations. This work also provides a generalization of director strings for the λ-calculus. [ABSTRACT FROM PUBLISHER] |
|
Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
