Published: 17th February 2011|
|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)