دانلود کتاب Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings (به فارسی: زبان ها و سیستم های برنامه نویسی: پنجمین سمپوزیوم آسیایی، APLAS 2007، سنگاپور، 29 نوامبر تا 1 دسامبر 2007. مجموعه مقالات) نوشته شده توسط «Vijay Saraswat (auth.) – Zhong Shao (eds.)»
اطلاعات کتاب زبان ها و سیستم های برنامه نویسی: پنجمین سمپوزیوم آسیایی، APLAS 2007، سنگاپور، 29 نوامبر تا 1 دسامبر 2007. مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Vijay Saraswat (auth.) – Zhong Shao (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 436
حجم کتاب: 5 مگابایت
کد کتاب: 3540766367 , 9783540766360
نوبت چاپ: 1
توضیحات کتاب زبان ها و سیستم های برنامه نویسی: پنجمین سمپوزیوم آسیایی، APLAS 2007، سنگاپور، 29 نوامبر تا 1 دسامبر 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم آسیایی در مورد زبانها و سیستمهای برنامهنویسی، APLAS 2007، برگزار شده در سنگاپور، در نوامبر/دسامبر 2007 است.
25 مقاله کامل اصلاحشده همراه با 3 مقاله دعوت شده ارائه شده است. گفتگوها به دقت بررسی و از بین 84 مورد ارسالی انتخاب شدند. این سمپوزیوم به تمام مسائل مربوط به زبان ها و سیستم های برنامه نویسی می پردازد – از مسائل اساسی تا عملی. این مقالات بر موضوعاتی مانند معناشناسی، منطق، نظریه بنیادی، سیستمهای نوع، طراحی زبان، تحلیل برنامه، بهینهسازی، تبدیل، امنیت نرمافزار، ایمنی، تأیید، سیستمهای کامپایلر، مفسرها، ماشینهای انتزاعی، زبانها و سیستمهای خاص دامنه تمرکز دارند. همچنین ابزارها و محیط های برنامه نویسی.
This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007.
The 25 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems – ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.