دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Alberto Pardo. S. Doaitse Swierstra (eds.)
سری: Lecture Notes in Computer Science 9325
ISBN (شابک) : 9783319240114, 9783319240121
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 152
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب زبانهای برنامه نویسی: نوزدهمین سمپوزیوم برزیل SBLP 2015 ، Belo Horizonte ، برزیل ، 24-25 سپتامبر 2015 ، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانهای برنامه نویسی: نوزدهمین سمپوزیوم برزیل SBLP 2015 ، Belo Horizonte ، برزیل ، 24-25 سپتامبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات نوزدهمینامین سمپوزیوم برزیلی زبانهای برنامهنویسی، SBLP 2015، برگزار شده در بلو هوریزونته، برزیل، در سپتامبر 2015 است.
10 مقاله ارائه شده در این جلد به دقت بررسی و از بین 26 مقاله ارسالی انتخاب شدند. آنها با اصول و نوآوری های اساسی در طراحی و پیاده سازی زبان ها و سیستم های برنامه نویسی سروکار دارند.
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.
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 -