WFRF:(Vezzosi Andrea 1986)
Sökning: WFRF:(Vezzosi Andrea 1986) > Lightweight Higher-...
Lightweight Higher-Order Rewriting in Haskell
-
- Axelsson, Emil, 1978 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Vezzosi, Andrea, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
- (creator_code:org_t)
- 2015
- 2015
- Engelska.
- Ingår i: Trends in Functional Programming.
- Konferensbidrag (övrigt vetenskapligt/konstnärligt)
Abstract
Ämnesord
Stäng
- 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 pattern unification, which makes for efficient execution when rules are applied in a bottom-up fashion. 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.
Ämnesord
- 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)
Nyckelord
- EDSL
- higher-order rewriting
- pattern unification
Publikations- och innehållstyp
- kon (ämneskategori)
- vet (ämneskategori)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Axelsson, Emil, ...
- Vezzosi, Andrea, ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Programvarutekni ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- Trends in Functi ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
