Modular tree automata

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

  • Patrick Bahr
Tree automata are traditionally used to study properties of tree languages and tree transformations. In this paper, we consider tree automata as the basis for modular and extensible recursion schemes. We show, using well-known techniques, how to derive from standard tree automata highly modular recursion schemes. Functions that are defined in terms of these recursion schemes can be combined, reused and transformed in many ways. This flexibility facilitates the specification of complex transformations in a concise manner, which is illustrated with a number of examples.
OriginalsprogEngelsk
TitelMathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
RedaktørerJeremy Gibbons, Pablo Nogueira
Antal sider37
ForlagSpringer
Publikationsdato2012
Sider263-299
ISBN (Trykt)978-3-642-31112-3
ISBN (Elektronisk)978-3-642-31113-0
DOI
StatusUdgivet - 2012
Begivenhed11th International Conference on Mathematics of Program Construction - Madrid, Spanien
Varighed: 25 jun. 201227 jun. 2012
Konferencens nummer: 11

Konference

Konference11th International Conference on Mathematics of Program Construction
Nummer11
LandSpanien
ByMadrid
Periode25/06/201227/06/2012
NavnLecture notes in computer science
Vol/bind7342
ISSN0302-9743

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 38429487