دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
دانلود کتاب زبان‌های برنامه‌نویسی: پیاده‌سازی‌ها، منطق‌ها و برنامه‌ها: نهمین سمپوزیوم بین‌المللی، PLILP '97 شامل یک مسیر ویژه در مورد زبان‌های برنامه‌نویسی اعلامی در آموزش و پرورش ساوتهمپتون، بریتانیا، 3 تا 5 سپتامبر 1997 مجموعه مقالات
مشخصات کتاب
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
ویرایش: [1 ed.] نویسندگان: Sergio Antoy (auth.), Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.) سری: Lecture Notes in Computer Science 1292 ISBN (شابک) : 3540633987, 9783540633983 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 428 [419] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان‌های برنامه‌نویسی: پیاده‌سازی‌ها، منطق‌ها و برنامه‌ها: نهمین سمپوزیوم بین‌المللی، PLILP '97 شامل یک مسیر ویژه در مورد زبان‌های برنامه‌نویسی اعلامی در آموزش و پرورش ساوتهمپتون، بریتانیا، 3 تا 5 سپتامبر 1997 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان‌های برنامه‌نویسی: پیاده‌سازی‌ها، منطق‌ها و برنامه‌ها: نهمین سمپوزیوم بین‌المللی، PLILP '97 شامل یک مسیر ویژه در مورد زبان‌های برنامه‌نویسی اعلامی در آموزش و پرورش ساوتهمپتون، بریتانیا، 3 تا 5 سپتامبر 1997 مجموعه مقالات
این جلد مجموعه مقالات داوری نهمین سمپوزیوم بین‌المللی
زبان‌های برنامه‌نویسی، پیاده‌سازی، منطق و برنامه‌ها، PLILP
'97، که در سپتامبر 1997 در ساوتهمپتون، بریتانیا برگزار شد،
شامل یک آهنگ ویژه در برنامه‌نویسی اعلامی در آموزش است.
این جلد 25 مقاله کامل اصلاح شده را ارائه می دهد که از بین 68
مورد ارسالی انتخاب شده اند. همچنین شامل یک مقاله دعوت شده و
سه پوستر است. این مقالات به بررسی رابطه بین تکنیک‌های
پیاده‌سازی، منطق زبان‌ها و استفاده از زبان‌ها در ساخت
برنامه‌های واقعی اختصاص دارد. موضوعات مورد علاقه عبارتند از
اجرای مفاهیم اعلامی، ادغام پارادایم ها، تجزیه و تحلیل و تبدیل
برنامه، محیط های برنامه نویسی، مشخصات اجرایی، استدلال در مورد
ساختارهای زبان و غیره.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the refereed proceedings of the 9th
International Symposium on Programming Languages,
Implementations, Logics and Programs, PLILP '97, held in
Southampton, UK, in September 1997, including a special track
on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68
submissions. Also included are one invited paper and three
posters. The papers are devoted to exploring the relation
between implementation techniques, the logic of the
languages, and the use of the languages in construcing real
programs. Topics of interest include implementation of
declarative concepts, integration of paradigms, program
analysis and transformation, programming environments,
executable specifications, reasoning about language
constructs, etc.
فهرست مطالب
Narrowing the narrowing space....Pages 1-15
An object calculus with algebraic rewriting....Pages 17-31
Inheritance and selective method dispatching in concurrent Haskell....Pages 33-46
Overriding operators in a mixin-based framework....Pages 47-61
Resolution for logic programming with universal quantifiers....Pages 63-77
A declarative approach to concurrent programming....Pages 79-93
Transformation of divide & conquer to nested parallel loops....Pages 95-109
Transforming lazy functions using comportment properties....Pages 111-125
Transformations for efficient evaluations in functional programming....Pages 127-141
Inline expansion: When and how ?....Pages 143-157
Higher-order value flow graphs....Pages 159-173
Intuitionistic implication in abstract interpretation....Pages 175-189
An open-ended finite domain constraint solver....Pages 191-206
Semantics and compilation of recursive sequential streams in 8 1/2 ....Pages 207-223
Implementation of term rewritings with the evaluation strategy....Pages 225-239
Reflections on reflections....Pages 241-258
Evaluation under lambda abstraction....Pages 259-273
Selective recomputation for handling side-effects in parallel logic programs....Pages 275-289
Tracing lazy functional computations using redex trails....Pages 291-308
Functional programming and geometry....Pages 309-322
Where do I begin? A problem solving approach in teaching functional programming....Pages 323-334
Teaching functional and logic programming with a single computation model....Pages 335-350
Logic implemented functionally....Pages 351-368
DrScheme: A pedagogic programming environment for scheme....Pages 369-388
An editor for helping novices to learn standard ML....Pages 389-405
Introducing the declarative dungeon....Pages 407-417
A pragmatic approach to compilation of Erlang....Pages 419-420
Formal translations described by translation grammars with LR ( k ) input grammars....Pages 421-422
Automatic run-time code generation in object-oriented languages....Pages 423-424
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Echocardiography: A Practical Guide for Reporting, Second Edition
دانلود کتاب Lifeline Engineering Systems: Network Reliability Analysis and Aseismic Design
دانلود کتاب Python Programming for Intermediates: Learn the Fundamentals of Python in 7 Days
دانلود کتاب Defeating Political Islam: The New Cold War
