Functional and Logic Programming


Abstract
This volume contains the proceedings of the Fifth International Symposium onFunctional and Logic Programming, FLOPS 2001, held in Tokyo, Japan, March7{9, 2001, and hosted by Waseda University.FLOPS is a forum for research on all issues concerning functional program-ming and logic programming. In particular, it aims to stimulate the cross-fertilization as well as the integration of the two paradigms. The previous FLOPSmeetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), andTsukuba (1999). The proceedings of FLOPS'99 were published by Springer-Verlag as Lecture Notes in Computer Science, volume 1722.There were 40 submissions, 38 of which were considered by the programcommittee. They came from Australia (5), Belgium (1/3), Denmark (3), Egypt(1), France (1/2), Germany (2 1/3), Italy (4 2/3), Japan (5), Korea (1 1/2), Mexico(1), The Netherlands (1 1/6), Spain (10 1/6), Switzerland (1), UK (1 5/6), and USA(1 1/2). Each paper was reviewed by at least three, and mostly four, reviewers.The program committee meeting was conducted electronically for the period oftwo weeks in November 2000. As a result of active discussions, 21 papers (52.5%)were selected for presentation, which appear in this volume. In addition, we arevery pleased to include in this volume full papers by three distinguished invitedspeakers, namely Gopalan Nadathur, George Necula, and Taisuke Sato.On behalf of the program committee, the program chairs would like to thank the invited speakers who agreed to give talks and contribute papers, all those who submitted papers, and all the referees for their careful work in the reviewing and selection process. The support of our sponsors is also gratefully acknowledged.In particular, we would like to thank the Japan Society for Software Scienceand Technology (JSSST), Special Interest Group on Principles of Programming,and the Association for Logic Programming (ALP). Finally, we would like to thank the members of the organizing committee, notably Zhenjiang Hu, YasuhiroAjiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughout the preparation and organization of the symposium.

Keywords
functional logic programming



Publication type
Collection (Editor)

Peer reviewed
Yes

Publication status
Published

Year
2001

Conference
5th International Symposium FLOPS 2001

Editor
Kuchen Herbert, Ueda Kazunori

Number of pages
391

Volume
2024

Title of series
Lecture Notes in Computer Science

Publisher
Springer

Language
English

ISSN
0302-9743

ISBN
3-540-41739-7

Full text