|
Published: 17th February 2011 DOI: 10.4204/EPTCS.49 ISSN: 2075-2180 |
| Preface | |
| Swapping: a natural bridge between named and indexed explicit substitution calculi Ariel Mendelzon, Alejandro Ríos and Beta Ziliani | 1 |
| On the Implementation of Dynamic Patterns Thibaut Balabonski | 16 |
| Higher-order Rewriting for Executable Compiler Specifications Kristoffer H. Rose | 31 |
| Uncurrying for Innermost Termination and Derivational Complexity Harald Zankl, Nao Hirokawa and Aart Middeldorp | 46 |
| A standardisation proof for algebraic pattern calculi Delia Kesner, Carlos Lombardi and Alejandro Ríos | 58 |
HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen - Denmark (HOR 2002), Aachen - Germany (HOR 2004), Seattle - USA (HOR 2006) and Paris - France (HOR 2007).
In addition to an interesting set of submissions, this year we had the following invited speakers to whom I would like to give thanks:
My appreciation also to the members of the PC (Zena Ariola, Frédéric Blanqui, Mariangiola Dezani-Ciancaglini and Roel de Vrijer) for lending their time and expertise, to the referees, and to Delia Kesner and Femke van Raamsdonk for providing valuable support. Thanks also to GDR-IM which awarded funds to HOR'2010 that were used for supporting presentation of papers by students.
Finally, I would like to thank the organizers of FLoC 2010 and affiliated events for contributing towards such an exciting event.
Eduardo Bonelli (Universidad Nacional de Quilmes)