دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: بیستمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد.
مشخصات کتاب
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ویرایش: [1 ed.] نویسندگان: Andrew W. Appel (auth.), Gilles Barthe (eds.) سری: Lecture Notes in Computer Science 6602 ISBN (شابک) : 3642197175, 9783642197178 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 501 [516] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: بیستمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: بیستمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد.
این کتاب مجموعه مقالات داوری بیستمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2011، برگزار شده در زاربروکن، آلمان، 30 مارس تا 1 آوریل 2011، به عنوان بخشی از ETAPS 2011، کنفرانس‌های مشترک اروپایی در زمینه تئوری و تمرین نرم افزار.
24 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده کامل به دقت بررسی و از بین 93 مقاله ارسالی کامل انتخاب شدند. مقالاتی در مورد تمام جنبه‌های تحقیق زبان برنامه‌نویسی از جمله: پارادایم‌ها و سبک‌های برنامه‌نویسی، روش‌ها و ابزارهایی برای نوشتن و تعیین برنامه‌ها و زبان‌ها، روش‌ها و ابزارهایی برای استدلال درباره برنامه‌ها، روش‌ها و ابزارهای پیاده‌سازی و همزمانی و توزیع دعوت شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
فهرست مطالب
Front Matter....Pages -
Verified Software Toolchain....Pages 1-17
Polymorphic Contracts....Pages 18-37
Proving Isolation Properties for Software Transactional Memory....Pages 38-56
Typing Copyless Message Passing....Pages 57-76
Measure Transformer Semantics for Bayesian Machine Learning....Pages 77-96
Transfer Function Synthesis without Quantifier Elimination....Pages 97-115
Semantics of Concurrent Revisions....Pages 116-135
Type-Based Access Control in Data-Centric Systems....Pages 136-155
Linear Absolute Value Relation Analysis....Pages 156-175
Generalizing the Template Polyhedral Domain....Pages 176-195
Dataflow Analysis for Datarace-Free Programs....Pages 196-215
Compiling Information-Flow Security to Minimal Trusted Computing Bases....Pages 216-235
Improving Strategies via SMT Solving....Pages 236-255
Typing Local Control and State Using Flow Analysis....Pages 256-275
Barriers in Concurrent Separation Logic....Pages 276-296
From Exponential to Polynomial-Time Security Typing via Principal Types....Pages 297-316
Secure the Clones....Pages 317-337
Biochemical Reaction Rules with Constraints....Pages 338-357
A Testing Theory for a Higher-Order Cryptographic Language....Pages 358-377
A New Method for Dependent Parsing....Pages 378-397
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs....Pages 398-418
Algorithmic Nominal Game Semantics....Pages 419-438
The Relationship between Separation Logic and Implicit Dynamic Frames....Pages 439-458
Precise Interprocedural Analysis in the Presence of Pointers to the Stack....Pages 459-479
General Bindings and Alpha-Equivalence in Nominal Isabelle....Pages 480-500
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Dr. Math Introduces Geometry: Learning Geometry is Easy! Just ask Dr. Math!
دانلود کتاب David Busch's Canon Powershot G12 Guide to Digital Photography
