Functional and Logic Programming 2006th ed.(Lecture Notes in Computer Science Vol.3945) P 295 p. 06
内容
This volume contains the proceedings of the 8th International Symposium on Functional and Logic Programming (FLOPS 2006), held in Fuji-Susono, Japan, April 24–26, 2006 at the Fuji Institute of Education and Training. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms.ThepreviousFLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002) and Nara (2004). The proceedings of FLOPS 1999, FLOPS 2001, FLOPS 2002 and FLOPS 2004 were published by Springer in the Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441 and 2998, respectively. In responseto the call for papers, 51 papers weresubmitted. Each paper was reviewed by at least three ProgramCommittee members with the help of expert external reviewers. The Program Committee meeting was conducted electro- cally for a period of 2 weeks in December 2005 and January 2006. After careful and thorough discussion, the Program Committee selected 17 papers (33%) for presentation at the conference. In addition to the 17 contributed papers, the symposium included talks by two invited speakers: Guy Steele (Sun Micros- tems Laboratories) and Peter Van Roy (Universit´ e Catholique de Louvain).