دانلود کتاب Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP ’97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings (به فارسی: زبان‌های برنامه‌نویسی: پیاده‌سازی‌ها، منطق‌ها و برنامه‌ها: نهمین سمپوزیوم بین‌المللی، PLILP ’97 شامل یک مسیر ویژه در مورد زبان‌های برنامه‌نویسی اعلامی در آموزش و پرورش ساوتهمپتون، بریتانیا، 3 تا 5 سپتامبر 1997 مجموعه مقالات) نوشته شده توسط «Sergio Antoy (auth.) – Hugh Glaser – Pieter Hartel – Herbert Kuchen (eds.)»
اطلاعات کتاب زبان‌های برنامه‌نویسی: پیاده‌سازی‌ها، منطق‌ها و برنامه‌ها: نهمین سمپوزیوم بین‌المللی، PLILP ’97 شامل یک مسیر ویژه در مورد زبان‌های برنامه‌نویسی اعلامی در آموزش و پرورش ساوتهمپتون، بریتانیا، 3 تا 5 سپتامبر 1997 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Sergio Antoy (auth.) – Hugh Glaser – Pieter Hartel – Herbert Kuchen (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 428
حجم کتاب: 4 مگابایت
کد کتاب: 3540633987 , 9783540633983
نوبت چاپ: 1
توضیحات کتاب زبان‌های برنامه‌نویسی: پیاده‌سازی‌ها، منطق‌ها و برنامه‌ها: نهمین سمپوزیوم بین‌المللی، PLILP ’97 شامل یک مسیر ویژه در مورد زبان‌های برنامه‌نویسی اعلامی در آموزش و پرورش ساوتهمپتون، بریتانیا، 3 تا 5 سپتامبر 1997 مجموعه مقالات
این جلد مجموعه مقالات داوری نهمین سمپوزیوم بین‌المللی زبان‌های برنامه‌نویسی، پیاده‌سازی، منطق و برنامه‌ها، PLILP ’97، در ساوتهمپتون، انگلستان، در سپتامبر 1997، شامل آهنگ ویژه در برنامه‌نویسی اعلامی در آموزش است.
این جلد 25 مقاله کامل اصلاح شده را ارائه می دهد که از بین 68 مورد ارسالی انتخاب شده اند. همچنین شامل یک مقاله دعوت شده و سه پوستر است. این مقالات به بررسی رابطه بین تکنیک‌های پیاده‌سازی، منطق زبان‌ها و استفاده از زبان‌ها در ساخت برنامه‌های واقعی اختصاص دارد. موضوعات مورد علاقه عبارتند از پیاده سازی مفاهیم اعلامی، ادغام پارادایم ها، تجزیه و تحلیل و تبدیل برنامه، محیط های برنامه نویسی، مشخصات اجرایی، استدلال در مورد ساختارهای زبان و غیره.
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP ’97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.