دانلود کتاب Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings (به فارسی: برنامه نویسی تابعی و منطقی: هشتمین سمپوزیوم بین المللی، FLOPS 2006، فوجی سوسونو، ژاپن، 24-26 آوریل، 2006. مجموعه مقالات) نوشته شده توسط «Guy L. Steele (auth.) – Masami Hagiya – Philip Wadler (eds.)»
اطلاعات کتاب برنامه نویسی تابعی و منطقی: هشتمین سمپوزیوم بین المللی، FLOPS 2006، فوجی سوسونو، ژاپن، 24-26 آوریل، 2006. مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Guy L. Steele (auth.) – Masami Hagiya – Philip Wadler (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 298
حجم کتاب: 3 مگابایت
کد کتاب: 3540334386 , 9783540334385
نوبت چاپ: 1
توضیحات کتاب برنامه نویسی تابعی و منطقی: هشتمین سمپوزیوم بین المللی، FLOPS 2006، فوجی سوسونو، ژاپن، 24-26 آوریل، 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین سمپوزیوم بین‌المللی برنامه‌نویسی عملکردی و منطقی، FLOPS 2006، در فوجی سوسونو، ژاپن، در آوریل 2006 است.
17 مقاله کامل اصلاح شده ارائه شده همراه با 2 مشارکت دعوت شده به دقت بررسی و از بین 51 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد انواع داده ها، پسوندهای FP، نظریه نوع، الحاقات LP، تجزیه و تحلیل، قراردادها، و همچنین وب و رابط کاربری گرافیکی سازماندهی شده اند.
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006.
The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
