Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Functional and Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings

Functional and Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings

Kuchen, Herbert
Ueda, Kazunori

Paperback

Series: Lecture Notes in Computer Science, Book 2024

Medical ReferenceProgramming

ISBN10: 3540417397
ISBN13: 9783540417392
Publisher: Springer
Published: Feb 23 2001
Pages: 398
Weight: 1.25
Height: 0.84 Width: 6.14 Depth: 9.21
Language: English
ThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming, FLOPS2001, heldinTokyo, Japan, March 7{9,2001, andhostedbyWasedaUniversity. FLOPSisaforumforresearchonallissuesconcerningfunctionalprogr- ming and logic programming. In particular, it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms. ThepreviousFLOPS meetingstookplaceinFuji-Susono(1995), Shonan(1996), Kyoto(1998), and Tsukuba (1999). The proceedings of FLOPS'99 were published by Springer- VerlagasLectureNotesinComputerScience, volume1722. There were 40 submissions, 38 of which were considered by the program 1 / committee. TheycamefromAustralia(5), Belgium( ), Denmark(3), Egypt 3 1 1 2 1 / / / / (1), France( ), Germany(2 ), Italy(4 ), Japan(5), Korea(1 ), Mexico 2 3 3 2 1 1 5 / / / (1), TheNetherlands(1 ), Spain(10 ), Switzerland(1), UK(1 ), andUSA 6 6 6 1 / (1 ). Eachpaperwasreviewedbyatleastthree, andmostlyfour, reviewers. 2 Theprogramcommitteemeetingwasconductedelectronicallyfortheperiodof twoweeksinNovember2000. Asaresultofactivediscussions,21papers(52. 5%) wereselectedforpresentation, whichappearinthisvolume. Inaddition, weare verypleasedtoincludeinthisvolumefullpapersbythreedistinguishedinvited speakers, namelyGopalanNadathur, GeorgeNecula, andTaisukeSato. Onbehalfoftheprogramcommittee, theprogramchairswouldliketothank theinvitedspeakerswhoagreedtogivetalksandcontributepapers, allthosewho submittedpapers, andalltherefereesfortheircarefulworkinthereviewingand selectionprocess. Thesupportofoursponsorsisalsogratefullyacknowledged. Inparticular, wewouldliketothanktheJapanSocietyforSoftwareScience andTechnology(JSSST), SpecialInterestGrouponPrinciplesofProgramming, andtheAssociationforLogicProgramming(ALP). Finally, wewouldliketo thankthemembersoftheorganizingcommittee, notablyZhenjiangHu, Yasuhiro Ajiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughoutthepreparationandorganizationofthesymposium. January2001 HerbertKuchen KazunoriUeda Symposium Organization Program Chairs Herbert Kuchen University of Munster, ] Germany Kazunori Ueda Waseda University, Tokyo, Japan Program Committee Sergio Antoy Portland State University, USA Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany Fergus Henderson University of Melbourne, Australia Zhenjiang Hu University of Tokyo, Japan Herbert Kuchen University of Munster, ] Germany Giorgio Levi University of Pisa, Italy Michael Maher Gri th University, Brisbane, Australia Dale Miller Pennsylvania State University, USA I. V. Ramakrishnan State University of New York at Stony Brook, USA Olivier Ridoux IRISA, Rennes, France Mario Rodr guez-Artalejo Complutense University, Madrid, Spain Colin Runciman University of York, UK Akihiko Takano Hitachi, Ltd.

Also in

Programming

View All