دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
دانلود کتاب پیاده سازی و کاربرد زبانهای کاربردی: نوزدهمین کارگاه بین المللی ، IFL 2007 ، فرایبورگ ، آلمان ، 27 تا 29 سپتامبر 2007. مقاله های منتخب اصلاح شده
مشخصات کتاب
Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
ویرایش: 1 نویسندگان: Steffen Mazanek, Mark Minas (auth.), Olaf Chitil, Zoltán Horváth, Viktória Zsók (eds.) سری: Lecture Notes in Computer Science 5083 Theoretical Computer Science and General Issues ISBN (شابک) : 9783540853725, 9783540853732 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 283 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد زبانهای کاربردی: نوزدهمین کارگاه بین المللی ، IFL 2007 ، فرایبورگ ، آلمان ، 27 تا 29 سپتامبر 2007. مقاله های منتخب اصلاح شده: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم
در صورت تبدیل فایل کتاب Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد زبانهای کاربردی: نوزدهمین کارگاه بین المللی ، IFL 2007 ، فرایبورگ ، آلمان ، 27 تا 29 سپتامبر 2007. مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد زبانهای کاربردی: نوزدهمین کارگاه بین المللی ، IFL 2007 ، فرایبورگ ، آلمان ، 27 تا 29 سپتامبر 2007. مقاله های منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل نوزدهمین کارگاه بین المللی پیاده سازی و کاربردهای زبان های کاربردی، IFL 2007 است که در شهر فرایبورگ، آلمان در سپتامبر 2007 برگزار شد.
15 مورد تجدید نظر شده مقالات کامل ارائه شده در دو مرحله بررسی و بهبود قرار گرفتند و از بین 33 مقاله ارسالی انتخاب شدند. این مقالات به تمام مسائل نظری و روش‌شناختی فعلی در مورد زبانهای کاربردی و مبتنی بر عملکرد مانند چک کردن نوع، بررسی قرارداد، کامپایل، موازی‌سازی، توسعه و اشکال‌زدایی، ساختارهای داده، تجزیه و همچنین مفاهیم مختلف مرتبط با عملکرد می‌پردازند.
</ p>توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.
The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.
فهرست مطالب
Front Matter....Pages -
Graph Parser Combinators....Pages 1-18
Testing Erlang Refactorings with QuickCheck....Pages 19-36
Optimal Lambda Lifting in Quadratic Time....Pages 37-56
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity....Pages 57-74
XHaskell – Adding Regular Expression Types to Haskell....Pages 75-92
Partial Parsing: Combining Choice with Commitment....Pages 93-110
Lazy Contract Checking for Immutable Data Structures....Pages 111-128
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA....Pages 129-146
A Supercompiler for Core Haskell....Pages 147-164
Checking Dependent Types Using Compiled Code....Pages 165-182
Debugging Lazy Functional Programs by Asking the Oracle....Pages 183-200
Uniqueness Typing Simplified....Pages 201-218
Tabular Expressions and Total Functional Programming....Pages 219-236
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler....Pages 237-253
From Contracts Towards Dependent Types: Proofs by Partial Evaluation....Pages 254-273
Back Matter....Pages -
