Lightweight Higher-Order Rewriting in Haskell

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: WFRF:(Vezzosi Andrea 1986) > Lightweight Higher-...

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		02440naa a2200349 4500
001		oai:research.chalmers.se:e9e30bb2-4b56-44f9-819e-0cfc543a15fb
003		SwePub
008		171007s2016 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
024	7	a https://research.chalmers.se/publication/2258342 URI
024	7	a https://doi.org/10.1007/978-3-319-39110-6_12 DOI
040		a (SwePub)cth
041		a engb eng
042		9 SwePub
072	7	a kon2 swepub-publicationtype
072	7	a ref2 swepub-contenttype
100	1	a Axelsson, Emil,d 1978u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)emax
245	1 0	a Lightweight Higher-Order Rewriting in Haskell
264		c 2016-05-12
264	1	a Cham :b Springer International Publishing,c 2016
520		a 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.
650	7	a NATURVETENSKAPx Data- och informationsvetenskapx Programvaruteknik0 (SwePub)102052 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciencesx Software Engineering0 (SwePub)102052 hsv//eng
650	7	a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng
653		a pattern unification
653		a higher-order rewriting
653		a EDSL
700	1	a Vezzosi, Andrea,d 1986u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)vezzosi
710	2	a Chalmers tekniska högskola4 org
773	0	t Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)d Cham : Springer International Publishingg 9547, s. 1-21q 9547<1-21x 1611-3349x 0302-9743
856	4 8	u https://research.chalmers.se/publication/225834
856	4 8	u https://doi.org/10.1007/978-3-319-39110-6_1

Hitta via bibliotek

Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Sök värdpublikationen i LIBRIS)

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: Lecture Notes in ...

Av lärosätet: Chalmers tekniska högskola

Sök utanför SwePub

Sök vidare i:: Google; 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.

LIBRIS.kb.se