دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
دانلود کتاب زبانها و سیستمهای برنامه نویسی: هجدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس 2009 ، برگزار می شود.
مشخصات کتاب
Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ویرایش: 1 نویسندگان: Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (eds.) سری: Lecture Notes in Computer Science 5502 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642005893, 9783642005909 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 423 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب زبانها و سیستمهای برنامه نویسی: هجدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس 2009 ، برگزار می شود.: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار/برنامه‌نویسی و سیستمهای عامل، تکنیک‌های برنامه‌نویسی، منطق و معانی برنامه‌ها، تحلیل الگوریتم و پیچیدگی مسائل، تئوری محاسبات
در صورت تبدیل فایل کتاب Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامه نویسی: هجدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس 2009 ، برگزار می شود. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و سیستمهای برنامه نویسی: هجدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس 2009 ، برگزار می شود.
این کتاب مجموعه مقالات داوری هجدهمین سمپوزیوم اروپایی در برنامه نویسی، ESOP 2009، در یورک، انگلستان، در مارس 2009، به عنوان بخشی از ETAPS 2009، کنفرانس مشترک اروپایی در نظریه و عمل نرم افزار، برگزار شد.
26 مقاله کامل اصلاح شده ارائه شده همراه با دو چکیده از گفتگوهای دعوت شده به دقت بررسی و از بین 98 مقاله ارسالی کامل انتخاب شدند. موضوعات پرداخته شده عبارتند از برنامه نویسی تابعی تایپ شده، جلوه های محاسباتی، انواع زبان های شی گرا، تایید، امنیت، همزمانی، محاسبات سرویس گرا، برنامه نویسی موازی و همزمان.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.
فهرست مطالب
Front Matter....Pages -
Well-Typed Programs Can’t Be Blamed....Pages 1-16
Exploring the Design Space of Higher-Order Casts....Pages 17-31
Practical Variable-Arity Polymorphism....Pages 32-46
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming....Pages 47-61
Using Category Theory to Design Programming Languages....Pages 62-63
Modular Monad Transformers....Pages 64-79
Handlers of Algebraic Effects....Pages 80-94
Is Structural Subtyping Useful? An Empirical Study....Pages 95-111
An Interval-Based Inference of Variant Parametric Types....Pages 112-127
Existential Quantification for Variant Ownership....Pages 128-142
Formalising and Verifying Reference Attribute Grammars in Coq....Pages 143-159
Verified, Executable Parsing....Pages 160-174
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees....Pages 175-189
Amortised Memory Analysis Using the Depth of Data Structures....Pages 190-204
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?....Pages 205-206
All Secrets Great and Small....Pages 207-221
Type-Based Automated Verification of Authenticity in Cryptographic Protocols....Pages 222-236
A Theory of Non-monotone Memory (Or: Contexts for free )....Pages 237-251
Abstraction for Concurrent Objects....Pages 252-266
Minimization Algorithm for Symbolic Bisimilarity....Pages 267-284
Conversation Types....Pages 285-300
Abstract Processes in Orchestration Languages....Pages 301-315
Global Principal Typing in Partially Commutative Asynchronous Sessions....Pages 316-332
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services....Pages 333-347
Automatic Parallelization with Separation Logic....Pages 348-362
Deny-Guarantee Reasoning....Pages 363-377
A Basis for Verifying Multi-threaded Programs....Pages 378-393
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs....Pages 394-409
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Introduction to abstract algebra
دانلود کتاب Maritime and Territorial Disputes in the South China Sea: Faces of Power and Law in the Age of China’s Rise
دانلود کتاب Growth of the International Economy, 1820-2015
دانلود کتاب Parasitic phenomena in the dynamics of industrial devices
