دانلود کتاب Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings (به فارسی: ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی، MPC 2008، مارسی، فرانسه، 15-18 ژوئیه، 2008. مجموعه مقالات) نوشته شده توسط «Ralf Hinze (auth.) – Philippe Audebaud – Christine Paulin-Mohring (eds.)»
اطلاعات کتاب ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی، MPC 2008، مارسی، فرانسه، 15-18 ژوئیه، 2008. مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Ralf Hinze (auth.) – Philippe Audebaud – Christine Paulin-Mohring (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 423
حجم کتاب: 4 مگابایت
کد کتاب: 3540705937 , 9783540705932
نوبت چاپ: 1
توضیحات کتاب ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی، MPC 2008، مارسی، فرانسه، 15-18 ژوئیه، 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی ریاضیات ساخت برنامه، MPC 2008، برگزار شده در مارسی، فرانسه در ژوئیه 2008 است.
18 مقاله کامل اصلاح شده همراه با ارائه شده است. 1 سخنرانی دعوت شده به دقت بررسی و از بین 41 مورد ارسالی انتخاب شد. موضوعاتی که به آن پرداخته می شود از الگوریتم تا پشتیبانی از ساخت برنامه در زبان ها و سیستم های برنامه نویسی را شامل می شود. موضوعات مورد علاقه خاص عبارتند از: سیستم های نوع، تجزیه و تحلیل و تبدیل برنامه، معناشناسی زبان برنامه نویسی، منطق برنامه.
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.
The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
