Search: WFRF:(Vezzosi Andrea 1986) >
Lightweight Higher-...
Lightweight Higher-Order Rewriting in Haskell
-
- Axelsson, Emil, 1978 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Vezzosi, Andrea, 1986 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2016-05-12
- 2016
- English.
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 9547, s. 1-21
- Related links:
-
https://research.cha...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- We present a generic Haskell library for expressing rewrite rules with a safe treatment of variables and binders. Both sides of the rules are written as typed EDSL expressions, which leads to syntactically appealing rules and hides the underlying term representation. Matching is defined as an instance of Miller's higher-order pattern unification and has the same complexity as first-order matching. The restrictions of pattern unification are captured in the types of the library, and we show by example that the library is capable of expressing useful simplifications that might be used in a compiler.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- pattern unification
- higher-order rewriting
- EDSL
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database