Functional and Logic Programming 7th International Symposium, FLOPS
- PDF / 2,723,340 Bytes
- 317 Pages / 430 x 660 pts Page_size
- 1 Downloads / 231 Views
2998
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Yukiyoshi Kameyama Peter J. Stuckey (Eds.)
Functional and Logic Programming 7th International Symposium, FLOPS 2004 Nara, Japan, April 7-9, 2004 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Yukiyoshi Kameyama University of Tsukuba Institute of Information Sciences and Electronics Tennodai 1-1-1, Tsukuba, 305-8573, Japan E-mail: [email protected] Peter J. Stuckey University of Melbourne Department of Computer Science and Software Engineering 3010, Australia E-mail: [email protected]
Library of Congress Control Number: 2004102971 CR Subject Classification (1998): D.1.6, D.1, D.3, F.3, I.2.3 ISSN 0302-9743 ISBN 3-540-21402-X Springer-Verlag 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-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by Boller Mediendesign Printed on acid-free paper SPIN: 10996966 06/3142 543210
Preface
This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7–9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional programming and logic programming. In particular it aims to stimulate the cross-fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001) and Aizu (2002). The proceedings of FLOPS 1999, FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( 12 ), France (3 12 ), Germany (4 14 ), Italy (1), Japan (15), the Netherlands (1), Oman (1), Portugal ( 12 ), Singapore (2), Spain (8), UK (3), and USA (6 14 ). Each paper was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted electronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program comm
Data Loading...
