دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
دانلود کتاب زبان های برنامه نویسی: هجدهمین سمپوزیوم برزیل ، SBLP 2014 ، ماسیو ، برزیل ، 2-3 اکتبر 2014. مجموعه مقالات
مشخصات کتاب
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
ویرایش: 1
نویسندگان: Fernando Magno Quintão Pereira (eds.)
سری: Lecture Notes in Computer Science 8771 Programming and Software Engineering
ISBN (شابک) : 9783319118628, 9783319118635
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 168
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب زبان های برنامه نویسی: هجدهمین سمپوزیوم برزیل ، SBLP 2014 ، ماسیو ، برزیل ، 2-3 اکتبر 2014. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان های برنامه نویسی: هجدهمین سمپوزیوم برزیل ، SBLP 2014 ، ماسیو ، برزیل ، 2-3 اکتبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان های برنامه نویسی: هجدهمین سمپوزیوم برزیل ، SBLP 2014 ، ماسیو ، برزیل ، 2-3 اکتبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات هجدهمین سمپوزیوم برزیلی زبان های برنامه نویسی، SBLP 2014 است که در Maceio، برزیل، در اکتبر 2014 برگزار شد. 11 مقاله کامل به دقت بررسی و از بین 31 مورد ارسالی انتخاب شدند. این مقالات موضوعاتی مانند تولید و تحول برنامه را پوشش می دهند. پارادایم ها و سبک های برنامه نویسی؛ معناشناسی رسمی و مبانی نظری؛ تجزیه و تحلیل و تأیید برنامه؛ طراحی و پیاده سازی زبان برنامه نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.
فهرست مطالب
Front Matter....Pages -
A Mixed Approach for Building Extensible Parsers....Pages 1-15
A Security Types Preserving Compiler in Haskell....Pages 16-30
Avoiding Code Pitfalls in Aspect-Oriented Programming....Pages 31-46
Bounds Check Hoisting for AddressSanitizer....Pages 47-61
Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda....Pages 62-76
Detecting Anomalous Energy Consumption in Android Applications....Pages 77-91
Effect Capabilities for Haskell....Pages 92-108
Fusion : Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs....Pages 109-123
Real-World Loops Are Easy to Predict....Pages 124-138
A Hybrid Framework to Accelerate Adaptive Compilation Systems....Pages 139-144
Transactional Boosting for Haskell....Pages 145-159
Back Matter....Pages -
