دانلود کتاب Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Name: Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Availability: InStock
Author: Philip Wadler
ISBN: 9783642005893, 9783642005909

by Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (eds.)

عنوان فارسی: زبان های برنامه نویسی و سیستم های: سمپوزیوم 18 اروپا در برنامه نویسی، ESOP 2009، برگزار شد به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، ETAPS 2009، نیویورک، بریتانیا، 22-29 مارس، 2009. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2009
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 411-423
شابک: 9783642005893, 9783642005909
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 5.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.