دانلود کتاب Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings
کتاب زبان های برنامه نویسی: نوزدهمین سمپوزیوم برزیل SBLP 2015، بلو هوریزونته، برزیل، 24 تا 25 سپتامبر 2015، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب زبان های برنامه نویسی: نوزدهمین سمپوزیوم برزیل SBLP 2015، بلو هوریزونته، برزیل، 24 تا 25 سپتامبر 2015، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings
نام کتاب : Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : زبان های برنامه نویسی: نوزدهمین سمپوزیوم برزیل SBLP 2015، بلو هوریزونته، برزیل، 24 تا 25 سپتامبر 2015، مجموعه مقالات
سری : Lecture Notes in Computer Science 9325
نویسندگان : Alberto Pardo, S. Doaitse Swierstra (eds.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 152
ISBN (شابک) : 9783319240114 , 9783319240121
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات نوزدهمینامین سمپوزیوم برزیلی زبان‌های برنامه‌نویسی، SBLP 2015، برگزار شده در بلو هوریزونته، برزیل، در سپتامبر 2015 است.
10 مقاله ارائه شده در این جلد به دقت بررسی و از بین 26 مقاله ارسالی انتخاب شدند. آنها با اصول و نوآوری های اساسی در طراحی و پیاده سازی زبان ها و سیستم های برنامه نویسی سروکار دارند.
فهرست مطالب :
Front Matter....Pages -
Automatic Inference of Loop Complexity Through Polynomial Interpolation....Pages 1-15
Type Inference for GADTs and Anti-unification....Pages 16-30
Preserving Lexical Scoping When Dynamically Embedding Languages....Pages 31-43
The Dinamica Virtual Machine for Geosciences....Pages 44-58
Go Model and Object Oriented Programming....Pages 59-74
An Intrinsic Denotational Semantics for a Lazy Functional Language....Pages 75-80
Color Flipping....Pages 81-95
Deadlocks as Runtime Exceptions....Pages 96-111
Model-Driven Engineering Based on Attribute Grammars....Pages 112-127
Composable Memory Transactions for Java Using a Monadic Intermediate Language....Pages 128-142
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.
The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.