کتاب الکترونیکی

ESOP ’88: دومین سمپوزیوم اروپایی در برنامه نویسی نانسی، فرانسه، 21 تا 24 مارس 1988 مجموعه مقالات

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

دانلود کتاب ESOP ’88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings (به فارسی: ESOP ’88: دومین سمپوزیوم اروپایی در برنامه نویسی نانسی، فرانسه، 21 تا 24 مارس 1988 مجموعه مقالات) نوشته شده توسط «Thomas Reps – Susan Horwitz (auth.) – H. Ganzinger (eds.)»


اطلاعات کتاب ESOP ’88: دومین سمپوزیوم اروپایی در برنامه نویسی نانسی، فرانسه، 21 تا 24 مارس 1988 مجموعه مقالات

موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Thomas Reps – Susan Horwitz (auth.) – H. Ganzinger (eds.)

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1988

تعداد صفحه: 383

حجم کتاب: 5 مگابایت

کد کتاب: 3540190279 , 9783540190271

نوبت چاپ: 1

توضیحات کتاب ESOP ’88: دومین سمپوزیوم اروپایی در برنامه نویسی نانسی، فرانسه، 21 تا 24 مارس 1988 مجموعه مقالات

این جلد شامل 23 مقاله انتخاب شده برای ارائه در کنفرانس ESOP ’88، نانسی 1988 است. موضوع کنفرانس ESOP طراحی، مشخصات و پیاده سازی زبان ها و سیستم های برنامه نویسی است. تاکید ویژه بر کارهایی است که در آن یک سیستم پیاده‌سازی شده مفهوم مهم یا مدل رسمی برنامه‌نویسی را به گونه‌ای که سودمندی آن نشان داده شود، مجسم می‌کند. از میان پنج بخش این جلد، بخش مربوط به اجرای زبان دارای بیشترین مقاله است. در اینجا طیف نسبتاً گسترده‌ای از جنبه‌ها، از مشکلات پیاده‌سازی زبان در معماری‌های موازی و بهینه‌سازی برنامه‌های کاربردی تا مفاهیم جدید برای محیط‌های برنامه‌نویسی پوشش داده می‌شود. بخش بزرگ دیگر شامل مقالاتی در زمینه مشخصات جبری و مفاهیم نوع است. مقالات این بخش به موضوعاتی مانند چندشکلی، انواع فرعی و مفاهیم پیاده سازی و استفاده مجدد برای مشخصات جبری اختصاص دارد. دو بخش دیگر به مفاهیم زبان جدید و رویکردهای جدید برای توسعه و تأیید برنامه اختصاص داده شده است.


The volume contains the 23 papers selected for presentation at the ESOP ’88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.

دانلود کتاب «ESOP ’88: دومین سمپوزیوم اروپایی در برنامه نویسی نانسی، فرانسه، 21 تا 24 مارس 1988 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.