ترجمه فارسی توضیحات (ترجمه ماشینی)
زبان ها و سیستم های برنامه نویسی: نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل برگزار شد … علوم کامپیوتر و مسائل عمومی)
این کتاب مجموعه مقالات داوری نوزدهمین سمپوزیوم اروپایی برنامهنویسی، ESOP 2010، در پافوس، قبرس، در مارس 2010، به عنوان بخشی از ETAPS 2010، کنفرانسهای مشترک اروپایی در زمینه تئوری و عمل نرمافزار است. 30 مقاله کامل اصلاح شده، همراه با دو سخنرانی دعوت شده (یک چکیده و یکی کامل)، به دقت بررسی و از بین 121 مقاله ارسالی کامل انتخاب شدند. موضوعات مورد بحث شامل پارادایم ها و سبک های برنامه نویسی، روش ها و ابزارهایی برای نوشتن و مشخص کردن برنامه ها و زبان ها، روش ها و ابزارهایی برای استدلال در مورد برنامه ها، روش ها و ابزارهای پیاده سازی، همزمانی و توزیع است.
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.