Modular tree automata

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Documents

  • 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.
Original languageEnglish
Title of host publicationMathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
EditorsJeremy Gibbons, Pablo Nogueira
Number of pages37
PublisherSpringer
Publication date2012
Pages263-299
ISBN (Print)978-3-642-31112-3
ISBN (Electronic)978-3-642-31113-0
DOIs
Publication statusPublished - 2012
Event11th International Conference on Mathematics of Program Construction - Madrid, Spain
Duration: 25 Jun 201227 Jun 2012
Conference number: 11

Conference

Conference11th International Conference on Mathematics of Program Construction
Nummer11
LandSpain
ByMadrid
Periode25/06/201227/06/2012
SeriesLecture notes in computer science
Volume7342
ISSN0302-9743

    Research areas

  • Faculty of Science - compiler, tree transducer, deforestation, attribute grammar, syntax-directed

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 38429487