CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Andrea Vezzosi (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers))
Trends in Functional Programming (0302-9743). Vol. 9547 (2015), p. 1-21.
[Konferensbidrag, refereegranskat]

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.

Nyckelord: higher-order rewriting, pattern unification, EDSL



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-11-17. Senast ändrad 2016-08-22.
CPL Pubid: 225834

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)