دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
دانلود کتاب زبان های برنامه نویسی: پیاده سازی ها، منطق ها و برنامه ها: هفتمین سمپوزیوم بین المللی، PLILP '95 اوترخت، هلند، 20–22 سپتامبر 1995 مجموعه مقالات
مشخصات کتاب
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.) سری: Lecture Notes in Computer Science 982 ISBN (شابک) : 354060359X, 9783540603597 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 476 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان های برنامه نویسی: پیاده سازی ها، منطق ها و برنامه ها: هفتمین سمپوزیوم بین المللی، PLILP '95 اوترخت، هلند، 20–22 سپتامبر 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان های برنامه نویسی: پیاده سازی ها، منطق ها و برنامه ها: هفتمین سمپوزیوم بین المللی، PLILP '95 اوترخت، هلند، 20–22 سپتامبر 1995 مجموعه مقالات
این کتاب مجموعه مقالات هفتمین سمپوزیوم بین‌المللی زبان‌های برنامه‌نویسی: پیاده‌سازی، منطق و برنامه‌ها، PLILP \\\'95، برگزار شده در اوترخت، هلند، در سپتامبر 1995 است. آنها تحقیق در مورد زبان های برنامه نویسی اعلامی را گزارش می دهند و بینشی در رابطه بین منطق آن زبان ها، تکنیک های پیاده سازی و استفاده از این زبان ها در ساخت برنامه های واقعی ارائه می دهند. علاوه بر این، چکیده یا ارائه کامل از سه سخنرانی دعوت شده و همچنین هشت پوستر و نمایش وجود دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP \'95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.
فهرست مطالب
A generic program for sequential decision processes....Pages 1-23
Parsing visual languages with constraint multiset grammars....Pages 24-25
Programming with constructor classes....Pages 26-26
Towards a taxonomy of functional language implementations....Pages 27-44
A λ-calculus à la de Bruijn with explicit substitutions....Pages 45-62
A verified implementation of narrowing....Pages 63-80
A new calculus for semantic matching....Pages 81-96
A complete narrowing calculus for higher-order functional logic programming....Pages 97-114
Exploiting parallelism in tabled evaluations....Pages 115-132
Design and implementation of jump tables for fast indexing of logic programs....Pages 133-150
An abstract machine for Oz....Pages 151-168
Uniform PERs and comportment analysis....Pages 169-187
Uniqueness type inference....Pages 189-206
Modes of comprehension: Mode analysis of arrays and array comprehensions....Pages 207-222
Better consumers for deforestation....Pages 223-240
Efficient compile-time garbage collection for arbitrary data structures....Pages 241-258
Efficient multi-level generating extensions for program specialization....Pages 259-278
Mechanically verifying the correctness of an offline partial evaluator....Pages 279-298
A semantic model of binding times for safe partial evaluation....Pages 299-320
Gadgets: Lazy functional components for graphical user interfaces....Pages 321-340
Lightweight GUIs for functional programming....Pages 341-356
Local linear logic for locality consciousness in multiset transformation....Pages 357-379
The notion of floundering for SLDNF-resolution revisited....Pages 380-396
Minimal set unification....Pages 397-414
Goal-directed query processing in disjunctive logic databases....Pages 415-430
A dataflow semantics for constraint logic programs....Pages 431-448
A functional framework for deterministically interleaved interactive programs....Pages 450-452
A debugging model for lazy narrowing....Pages 453-454
Evaluation of expressions in a multiparadigm framework....Pages 455-456
An expression-or-parallel implementation for a functional logic language....Pages 457-458
Attributed models of executable specifications....Pages 459-460
Approximating constraint logic programs using polymorphic types and regular descriptions....Pages 461-462
Performance of a data-parallel concurrent constraint programming system....Pages 463-464
A portable implementation of memoing evaluation....Pages 465-466
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Shadow: the architectural power of withholding light (Analysing Architecture Notebooks)
