Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
Zoltán Horváth Viktória Zsók Andrew Butterfield (Eds.) Implementation and Application of Functional Languages 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected Papers 13
Volume Editors Zoltán Horváth Viktória Zsók Eötvös Loránd University Faculty of Informatics Department of Programming Languages and Compilers 1117 Budapest, Hungary E-mail: {hz,zsv}@inf.elte.hu Andrew Butterfield University of Dublin Department of Computer Science O Reilly Institute, Trinity College Dublin, Ireland E-mail: Andrew.Butterfield@cs.tcd.ie Library of Congress Control Number: 2007932229 CR Subject Classification (1998): D.3, D.1.1, D.1, F.3 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN 0302-9743 ISBN-10 3-540-74129-1 Springer Berlin Heidelberg New York ISBN-13 978-3-540-74129-9 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2007 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12104406 06/3180 543210
Preface This volume presents the reviewed and revised selected papers of the 18th International Symposium on Implementation and Application of Functional Languages IFL 2006, held September 4 6, 2006, at Eötvös Loránd University, Budapest, Hungary. The symposium was organized according to the traditions of the IFL workshop series. The aim of these workshops is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. They provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily but not exclusively to the implementation and application of functional languages. IFL became a symposium in 2006. A not necessarily exhaustive list of topics covered includes: language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, (abstract) interpretation, performance measurements, automatic program generation, debugging and tracing, (abstract) machine architectures, verification, formal aspects, tools and programming techniques, array processing and demos of well working, useable tools and applications in functional languages. IFL 2006 was held in the Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary during the first week of September 2006. It attracted more than 60 participants presenting 40 contributions during the three days of the symposium. All speakers attending the symposium were invited to submit a revised paper afterwards. The submitted papers were each carefully checked by readers selected from among the most qualified available and then revised once more by the lecturers. Each paper was reviewed by three or four referees and thoroughly discussed by four or five PC members. We are very grateful to the anonymous referees, all excellent researchers in functional programming, for the time and effort they devoted to reviewing the papers. Finally the PC decided to select 15 high-quality papers for publication in this volume. We would like to acknowledge the work of all the members of the organizing committee and the student volunteers. The web-page of the symposium can be found at http://www.inf.elte.hu/rendezvenyek/ifl/. March 2007 Zoltán Horváth Viktória Zsók Andrew Butterfield
Organization IFL 2006 was organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary. Executive Committee Program Chair Organizing Chairs Organizing Committee Organizing Partner Zoltán Horváth (Eötvös L. University, Hungary) Zoltán Horváth and Viktória Zsók (Eötvös L. University, Hungary) Zoltán Csörnyei Gergely Dévai Péter Diviánszky Gáspár Erdélyi Hajnalka Hegedűs Zoltán Juhász Róbert Kitlei Anikó Királyné-Csizmazia Tamás Kozsik Ildikó László László CsabaLőrincz László Lövei Mónika Mészáros Gabriella Nádas Adrienn Olajos Zoltán Porkoláb Beáta Reiz Csaba Seres Rozália Szabó-Nacsa Máté Tejfel (Eötvös L. University, Hungary) Judit Juhász (Managing Director, Pannonia Tourist Service)
VIII Organization Program Committee Matthias Blume Zoran Budimac Andrew Butterfield Ralf Hinze Zoltán Horváth Tamás Kozsik Hans-Wolfgang Loidl Rita Loogen Frédéric Loulergue Simon Marlow Marco T. Morazán Yolanda Ortega-Mallén Rinus Plasmeijer Jaroslav Porubän Anna Soós Doaitse Swierstra Peter Thiemann Germán Vidal Toyota Technological Institute, Chicago, USA University of Novi Sad, Serbia Trinity College Dublin, Ireland University of Bonn, Germany Eötvös Loránd University, Budapest, Hungary, Chair Eötvös Loránd University, Budapest, Hungary Ludwig-Maximilians-University Munich, Germany Philipps-University Marburg, Germany University of Orleans, France Microsoft Research, Cambridge, UK Seton Hall University, New Jersey, USA University Complutense of Madrid, Spain Radboud University Nijmegen, The Netherlands Technical University of Kosice, Slovakia Babeş-Bolyai University, Cluj-Napoca, Romania Utrecht University, The Netherlands University of Freiburg, Germany Technical University of Valencia, Spain Sponsoring Institutions The symposium was supported by Nokia Hungary, Siemens PSE Hungary and by the Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary.
Table of Contents On Optimising Shape-Generic Array Programs Using Symbolic Structural Information... 1 Kai Trojahner, Clemens Grelck, and Sven-Bodo Scholz Index Vector Elimination Making Index Vectors Affordable... 19 Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, and Alex Shafarenko Functional Based Synthesis of a Systolic Array for GCD Computation... 37 Laura Ruff and Tudor Jebelean Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages... 55 Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, and Fernando Rubio Parallel Coordination Made Explicit in a Functional Setting... 73 Jost Berthold and Rita Loogen Low-Level Programming in Hume: An Exploration of the HW-Hume Level... 91 Kevin Hammond, Gudmund Grov, Greg Michaelson, and Andrew Ireland A Conference Management System Based on the idata Toolkit... 108 Rinus Plasmeijer and Peter Achten A Pattern Logic for Prompt Lazy Assertions in Haskell... 126 Olaf Chitil and Frank Huch Ivor, aproofengine... 145 Edwin Brady Proving Program Properties Specified with Subtype Marks... 163 Tamás Kozsik Uniqueness Typing Redefined... 181 Edsko de Vries, Rinus Plasmeijer, and David M. Abrahamson Heuristics for Type Error Discovery and Recovery... 199 Jurriaan Hage and Bastiaan Heeren Testing Properties of Generic Functions... 217 Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, and Kees Visser
X Table of Contents Worst-Case Execution Times for a Purely Functional Language... 235 Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, and Reinhold Heckmann Automatic Partial Inversion of Inductively Sequential Functions... 253 Jesús M. Almendros-Jiménez and Germán Vidal Author Index... 271