دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
دانلود کتاب زبان های برنامه نویسی: بیستمین سمپوزیوم برزیل، SBLP 2016، Maringá، برزیل، 22-23 سپتامبر 2016، مجموعه مقالات
مشخصات کتاب
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
ویرایش: 1
نویسندگان: Fernando Castor. Yu David Liu (eds.)
سری: Lecture Notes in Computer Science 9889
ISBN (شابک) : 9783319452791, 9783319452784
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 197
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب زبان های برنامه نویسی: بیستمین سمپوزیوم برزیل، SBLP 2016، Maringá، برزیل، 22-23 سپتامبر 2016، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان های برنامه نویسی: بیستمین سمپوزیوم برزیل، SBLP 2016، Maringá، برزیل، 22-23 سپتامبر 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان های برنامه نویسی: بیستمین سمپوزیوم برزیل، SBLP 2016، Maringá، برزیل، 22-23 سپتامبر 2016، مجموعه مقالات
این کتاب مجموعه مقالات بیستمین سمپوزیوم برزیلی زبان‌های برنامه‌نویسی، SBLP 2016 است که در مارینگا، برزیل، در سپتامبر 2016 برگزار شد.
12 مقاله ارائه‌شده در این جلد با دقت بررسی شدند. و از بین 26 مورد ارسالی انتخاب شد. آنها با اصول و نوآوری های اساسی در طراحی و پیاده سازی زبان ها و سیستم های برنامه نویسی سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.
The 12 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 I-X
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement....Pages 1-15
JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems....Pages 16-30
A Monadic Semantics for Quantum Computing in Featherweight Java....Pages 31-45
Memoized Zipper-Based Attribute Grammars....Pages 46-61
Purely Functional Incremental Computing....Pages 62-77
Automatic Annotating and Checking of Dynamic Ownership....Pages 78-94
Certified Derivative-Based Parsing of Regular Expressions....Pages 95-109
Concurrent Hash Tables for Haskell....Pages 110-124
Optional Type Classes for Haskell....Pages 125-139
An Algebraic Framework for Parallelizing Recurrence in Functional Programming....Pages 140-155
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications....Pages 156-170
Comparison Between Model Fields and Abstract Predicates....Pages 171-186
Back Matter....Pages 187-187
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The book of eating: adventures in professional gluttony
دانلود کتاب Chromatographische Methoden in der Protein-Chemie: Einschliesslich verwandter Methoden wie Gegenstromverteilung, Papier-Ionophorese
دانلود کتاب Judgment of Paris: California vs. France and the Historic 1976 Paris Tasting That Revolutionized Wine
دانلود کتاب Trading Systems and Methods, + Website
