Functional and Logic Programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings

Hu, Zhenjiang

ISBN 10: 3540442332 / ISBN 13: 9783540442332

Published by Springer 2002-09, 2002

About this Item

Seller Inventory # 6666-IUK-9783540442332

Bibliographic Details

Title: Functional and Logic Programming : 6th ...

Publisher: Springer 2002-09

Publication Date: 2002

Binding: PF

Condition: New

About this title

Synopsis:

This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15-17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12-14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- 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), and Tokyo (2001). The proceedings of FLOPS '99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1), Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ).

Synopsis:

This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002. The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.