کامپیوترها

معناشناسی، کاربردها و پیاده سازی تولید برنامه: کارگاه بین المللی، SAIG ​​2000 مونترال، کانادا، 20 سپتامبر 2000 مجموعه مقالات

Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

دانلود کتاب Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings (به فارسی: معناشناسی، کاربردها و پیاده سازی تولید برنامه: کارگاه بین المللی، SAIG ​​2000 مونترال، کانادا، 20 سپتامبر 2000 مجموعه مقالات) نوشته شده توسط «Richard B. Kieburtz (auth.) – Walid Taha (eds.)»


اطلاعات کتاب معناشناسی، کاربردها و پیاده سازی تولید برنامه: کارگاه بین المللی، SAIG ​​2000 مونترال، کانادا، 20 سپتامبر 2000 مجموعه مقالات

موضوع اصلی: کامپیوترها

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Richard B. Kieburtz (auth.) – Walid Taha (eds.)

زبان: English

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

سال انتشار: 2000

تعداد صفحه: 229

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

کد کتاب: 3540410546 , 9783540410546

نوبت چاپ: 1

توضیحات کتاب معناشناسی، کاربردها و پیاده سازی تولید برنامه: کارگاه بین المللی، SAIG ​​2000 مونترال، کانادا، 20 سپتامبر 2000 مجموعه مقالات

این کتاب مجموعه مقالات داوری کارگاه بین المللی کاربردهای معناشناسی و اجرای برنامه تولید، SAIG ​​2000 است که در مونترال، کانادا در سپتامبر 2000 برگزار شد. هفت مقاله کامل اصلاح شده و چهار مقاله ارائه شده همراه با چهار چکیده دعوت شده از بین 20 مورد ارسالی به دقت بررسی و انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته می‌شود، زبان‌های برنامه‌نویسی چند مرحله‌ای، تلفیقی از زبان‌های خاص دامنه و سیستم‌های ماژول، تبدیل برنامه، تولید برنامه سطح پایین، مشخصات رسمی، تجزیه و تحلیل خاتمه، و تجزیه و تحلیل مبتنی بر نوع هستند.


This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

دانلود کتاب «معناشناسی، کاربردها و پیاده سازی تولید برنامه: کارگاه بین المللی، SAIG ​​2000 مونترال، کانادا، 20 سپتامبر 2000 مجموعه مقالات»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.