البرمجة الوظيفية والمنطقية - (Lecture Notes in Computer Science) بقلم Yukiyoshi Kameyama & Peter J Stuckey (غلاف ورقي)

ملخص الكتاب يحتوي هذا المجلد على أعمال الندوة الدولية السابعة حول البرمجة الوظيفية والمنطقية (FLOPS 2004)، التي عُقدت في Nara، اليابان، في الفترة من 7 إلى 9 أبريل 2004 في New Public Hall، Nara. تُعد FLOPS منتدى للبحث في جميع القضايا المتعلقة بالبرمجة الوظيفية والبرمجة المنطقية. وتهدف بشكل خاص إلى تحفيز التلاقح والتكامل بين هذين النموذجين. وقد عُقدت اجتماعات FLOPS السابقة في Fuji-Susono (1995)، وShonan (1996)، وKyoto (1998)، وTsukuba (1999)، وTokyo (2001)، وAizu (2002). نُشرت أعمال مؤتمرات FLOPS 1999 و FLOPS 2001 و FLOPS 2002 بواسطة Springer-Verlag ضمن سلسلة Lecture Notes in Computer Science، في المجلدات 1722 و 2024 و 2441 على التوالي. واستجابةً للدعوة لتقديم الأوراق البحثية، تم تقديم 55 ورقة بحثية من قبل مؤلفين من أستراليا (1)، والنمسا (1)، وكندا (1)، والصين (4)، والدنمارك (2)، وإستونيا ( )، وفرنسا (3)، وألمانيا (4)، وإيطاليا (1)، واليابان (15)، وهولندا (1)، وعُمان (1)، والبرتغال ( )، وسنغافورة (2)، وإسبانيا (8)، والمملكة المتحدة (3)، والولايات المتحدة الأمريكية (6). خضع كل بحث من الأبحاث الـ 2 4 للمراجعة من قبل ثلاثة أعضاء على الأقل من لجنة البرنامج بمساعدة مراجعين خارجيين خبراء. وقد عُقد اجتماع لجنة البرنامج إلكترونياً لمدة أسبوعين في ديسمبر 2003. وبعد مناقشات دقيقة وشاملة، اختارت لجنة البرنامج 18 بحثاً (33%) لتقديمها في المؤتمر. Inadditiontothe18contributedpapers، تضمنت الندوة كلمات ألقاها ثلاثة متحدثين مدعوين: Masami Hagiya (جامعة طوكيو)، وCarsten Schurmann (جامعة ييل)، وPeter Selinger (جامعة أوتاوا).