البرمجة الوظيفية والمنطقية - (Lecture Notes in Computer Science) تأليف Herbert Kuchen & Kazunori Ueda (غلاف ورقي)

ملخص الكتاب يحتوي هذا المجلد على أعمال الندوة الدولية الخامسة حول البرمجة الوظيفية والمنطقية، FLOPS2001، التي عُقدت في طوكيو، اليابان، في 7{9,2001، واستضافتها جامعة Waseda. تُعد FLOPS منتدى للبحث في جميع القضايا المتعلقة بالبرمجة الوظيفية والبرمجة المنطقية. وتهدف بشكل خاص إلى تحفيز التلاقح المتبادل وكذلك التكامل بين هذين النموذجين. أقيمت اجتماعات FLOPS السابقة في Fuji-Susono (1995)، وShonan (1996)، وKyoto (1998)، وTsukuba (1999). نُشرت أعمال FLOPS'99 بواسطة Springer- Verlag كجزء من سلسلة Lecture Notes in Computer Science، volume1722. تم تقديم 40 مشاركة، تم النظر في 38 منها من قبل لجنة البرنامج. وقد جاءت هذه المشاركات من أستراليا (5)، وبلجيكا ( )، والدنمارك (3)، ومصر 3 1 1 2 1 / / / / (1)، وفرنسا ( )، وألمانيا (2)، وإيطاليا (4)، واليابان (5)، وكوريا (1)، والمكسيك 2 3 3 2 1 1 5 / / / (1)، وهولندا (1)، وإسبانيا (10)، وسويسرا (1)، والمملكة المتحدة (1)، والولايات المتحدة 6 6 6 1 / (1). تمت مراجعة كل ورقة بحثية من قبل ثلاثة مراجعين على الأقل، وفي الغالب أربعة مراجعين. عُقد اجتماع لجنة البرنامج إلكترونياً خلال الفترة twoweeksinNovember2000. ونتيجة للمناقشات الفعالة، تم اختيار 21 ورقة بحثية (52.5%) للعرض، وهي التي تظهر في هذا المجلد. بالإضافة إلى ذلك، يسعدنا جداً أن ندرج في هذا المجلد أوراقاً بحثية كاملة قدمها ثلاثة متحدثين مميزين تمت دعوتهم، وهم: Gopalan Nadathur، وGeorge Necula، وTaisuke Sato. وبالنيابة عن لجنة البرنامج، يود رؤساء البرنامج تقديم الشكر للمتحدثين المدعوين الذين وافقوا على إلقاء المحاضرات والمساهمة بالأوراق البحثية، وإلى جميع الذين قدموا أوراقهم، وإلى جميع المحكمين على عملهم الدقيق في عملية المراجعة والاختيار. كما نتوجه بجزيل الشكر والتقدير لرعاة هذا العمل على دعمهم. نود بشكل خاص أن نتقدم بالشكر إلى Japan Society for Software Science and Technology (JSSST)، ومجموعة الاهتمام الخاصة بمبادئ البرمجة، و Association for Logic Programming (ALP). وأخيراً، نود أن نشكر أعضاء اللجنة المنظمة، ولا سيما Zhenjiang Hu و Yasuhiro Ajiro و Kazuhiko Kakehi و Madoka Kuniyasu، على دعمهم الذي لا يُقدر بثمن طوال فترة التحضير وتنظيم الندوة. January2001 رؤساء برنامج منظمة الندوة HerbertKuchen KazunoriUeda: Herbert Kuchen من جامعة Munster، ألمانيا، و Kazunori Ueda من جامعة Waseda، طوكيو، اليابان. اللجنة البرامجية: Sergio Antoy من جامعة Portland State، الولايات المتحدة الأمريكية، و Gopal Gupta من جامعة Texas at Dallas، الولايات المتحدة الأمريكية، و Michael Hanus من جامعة Kiel، ألمانيا، و Fergus Henderson من جامعة Melbourne، أستراليا، و Zhenjiang Hu من جامعة Tokyo، اليابان، و Herbert Kuchen من جامعة Munster، ألمانيا، و Giorgio Levi من جامعة Pisa، إيطاليا، و Michael Maher من جامعة Griffith، بريسبان، أستراليا، و Dale Miller من جامعة Pennsylvania State، الولايات المتحدة الأمريكية، و I. V. جامعة رامكريشنان الحكومية في ستوني بروك، الولايات المتحدة الأمريكية، أوليفيه ريدو من IRISA، رين، فرنسا، ماريو رودريغيز-أرتاليخو من جامعة كومبلوتنس، مدريد، إسبانيا، كولين رونكمان من جامعة يورك، المملكة المتحدة، أكيهيكو تاكانو من Hitachi, Ltd.