Functional. Programming

Transcription

1 Germán Vidal (Ed.) Functional and (Constraint) Logic Programming 12th International Workshop, WFLP 2003 Valencia, Spain, June 12-13, 2003 Proceedings

2 Volume Editor Germán Vidal Departamento de Sistemas Informáticos y Computación (DSIC) Universidad Politécnica de Valencia, Spain Camino de Vera, s/n E Valencia (Spain) gvidal@dsic.upv.es Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03 Valencia, Spain, June 12-13, 2003 ISBN: Depósito Legal: Impreso en España. Technical Report DSIC-II/13/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2003.

3 Preface This technical report contains the proceedings of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), held in Valencia (Spain) during June 12-13, 2003, at the Federated Conference on Rewriting, Deduction and Programming (RDP 2003). WFLP 2003 is the twelfth in the series of international meetings aimed at bringing together researchers interested in functional programming, (constraint) logic programming, as well as their integration. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Previous WFLP editions have been held in Grado (Italy), Kiel (Germany), Benicàssim (Spain), Grenoble (France), Bad Honef (Germany), Schwarzenberg (Germany), Marburg (Germany), Rattenberg (Germany), and Karlsruhe (Germany). The Program Committee of WFLP 2003 collected for each paper at least three reviews and held an electronic discussion on all papers during April Finally, the Program Committee selected 21 regular papers and one system description. In addition to the selected papers, the scientific program included invited lectures by Michael Rusinowitch (LORIA-INRIA-Lorraine, France) and Jan Ma luszyński (Linköping University, Sweden). I would like to thank them for their willingness in accepting our invitation. I would also like to thank all the members of the Program Committee and all the referees for their careful work in the review and selection process. Many sincere thanks to all authors who submitted papers and to all conference participants. I gratefully acknowledge all the institutions and corporations who have supported this conference. Finally, I express my gratitude to all members of the local Organizing Committee whose work has made the workshop possible. Valencia June 2003 Germán Vidal Program Chair WFLP 2003

4 VI

5 Organization Program Committee María Alpuente Sergio Antoy Annalisa Bossi Olaf Chitil Rachid Echahed Sandro Etalle Moreno Falaschi Michael Hanus Yukiyoshi Kameyama Herbert Kuchen Michael Leuschel Juan José Moreno-Navarro Ernesto Pimentel Mario Rodríguez-Artalejo Germán Vidal Technical University of Valencia, Spain Portland State University, USA Università Ca Foscari di Venezia, Italy University of York, UK Institut IMAG, France University of Twente, The Netherlands Università di Udine, Italy CAU Kiel, Germany University of Tsukuba, Japan University of Muenster, Germany University of Southampton, UK Universidad Politécnica de Madrid, Spain University of Málaga, Spain Universidad Complutense de Madrid, Spain Technical University of Valencia, Spain Organizing Committee Elvira Albert Santiago Escobar César Ferri José Hernández Carlos Herrero Pascual Julián Marisa Llorens Ginés Moreno Javier Oliver Josep Silva Germán Vidal Alicia Villanueva Additional Referees Elvira Albert Zena Ariola Demis Ballis Bernd Braßel Ricardo Corin Francisco Durán Santiago Escobar José Gallardo Raffaella Gentilini Angel Herranz Teresa Hortalá-González Zhenjiang Hu Frank Huch Pascual Julián Christoph Lembeck Pablo López Salvador Lucas Massimo Marchiori Julio Mariño Yasuhiko Minamide Angelo Montanari Ginés Moreno Roger Müller Susana Muñoz Salvatore Orlando Carla Piazza Femke van Raamsdonk María José Ramírez Guido Sciavicco Clara Segura Jan-Georg Smaus Andrew Tolmach Alberto Verdejo Alicia Villanueva

6 Sponsoring Institutions Departamento de Sistemas Informáticos y Computación (DSIC) Universidad Politécnica de Valencia (UPV) Generalitat Valenciana Ministerio de Ciencia y Tecnología European Association for Theoretical Computer Science (EATCS) European Association for Programming Languages and Systems (EAPLS) CologNET: A Network of Excellence in Computational Logic APPSEM Working Group VIII

7 Table of Contents Invited Talks Automated Analysis of Security Protocols Michael Rusinowitch (LORIA, INRIA - Lorraine) On Integrating Rules into the Semantic Web (Abstract) Jan Ma luszyński (Linköping University) Debugging and Verification I Abstract Correction of Functional Programs M. Alpuente (U.P. Valencia), D. Ballis (U. Udine), S. Escobar (U.P. Valencia), M. Falaschi (U. Udine), and S. Lucas (U.P. Valencia) Runtime Verification of Concurrent Haskell (work in progress) V. Stolz (RWTH Aachen) and F. Huch (CAU Kiel) Functional Logic Programming I A Monadic Semantics for Core Curry A. Tolmach and S. Antoy (Portland State University) Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing. 47 S. Escobar (Universidad Politécnica de Valencia) Functional Logic Programming with Failure and Built-in Equality F. J. López-Fraguas and J. Sánchez-Hernández (Universidad Complutense de Madrid) Language Design Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks P. Hofstedt and A. Metzner (Technische Universität Berlin) Towards Translating Embedded Curry to C (Extended Abstract) M. Hanus, K. Höppner, and F. Huch (CAU Kiel) Towards a Mobile Haskell A. Rauber Du Bois, P. Trinder (Heriot-Watt University), and H.-W. Loidl (Ludwig-Maximilians-Universität München)

8 Implementation and Transformation Refined Definitional Trees and Prolog Implementations of Narrowing P. Julián (Universidad de Castilla La Mancha) A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations G. Moreno (Universidad de Castilla La Mancha) A Memoization Technique for Functional Logic Languages S. España and V. Estruch (Technical University of Valencia) Constraints Integrating Finite Domain Constraints and CLP with Sets A. Dal Palù, A. Dovier (Università di Udine), E. Pontelli (New Mexico State University), and G. Rossi (Università di Parma) Constructive Intensional Negation: a Practical Implementation (extended abstract) S. Muñoz, J. Mariño, and J.J. Moreno-Navarro (Universidad Politécnica de Madrid) Functional Logic Programming II A Demand Narrowing Calculus with Overlapping Definitional Trees R. del Vado Vírseda (Universidad Complutense de Madrid) Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof N. Nishida, M. Sakai, and T. Sakabe (Nagoya University) A Safe Relational Calculus for Functional Logic Deductive Databases J.M. Almendros-Jiménez and A. Becerra-Terón (Universidad de Almería) Debugging and Verification II Automatic Visualization of Recursion Trees: a Case Study on Generic Programming A. Cunha (Universidade do Minho) Cost-Sensitive Debugging of Declarative Programs D. Ballis, M. Falaschi (University of Udine), C. Ferri, J. Hernández-Orallo, M.J. Ramírez-Quintana (U. Politècnica València) Model Checking Erlang Programs LTL-Propositions and Abstract Interpretation F. Huch (CAU Kiel) X

9 Applications An Open System to Support Web-based Learning (Extended Abstract). 269 M. Hanus and F. Huch (CAU Kiel) Graphical Representations and Infinite Virtual Worlds in a Logic and Functional Programming Course J.E. Labra Gayo (University of Oviedo) Handling quantifiers in Relational Data Mining D. Lorenzo (Univ. Coruña) A Web Oriented System for Equational Solving N. Kobayashi (University of Tsukuba), M. Marin (Austrian Academy of Sciences), and T. Ida (University of Tsukuba) Author Index XI