دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: بیست و ششمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2017، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات برگزار شد.
مشخصات کتاب
Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
ویرایش: 1
نویسندگان: Hongseok Yang (eds.)
سری: Lecture Notes in Computer Science 10201
ISBN (شابک) : 9783662544341, 9783662544334
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2017
تعداد صفحات: 1006
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 30 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: بیست و ششمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2017، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات برگزار شد.: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: بیست و ششمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2017، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: بیست و ششمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2017، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات برگزار شد.
این کتاب مجموعه مقالات بیست و ششمین سمپوزیوم اروپایی برنامه
نویسی، ESOP 2017 است که در آوریل 2017 در اوپسالا، سوئد برگزار
شد و به عنوان بخشی از کنفرانس مشترک اروپایی در زمینه تئوری و
عمل نرم افزار، ETAPS 2017 برگزار شد.
36 مقاله ارائه شده در این جلد به دقت بررسی و از بین 112 مقاله
ارسالی انتخاب شدند. آنها موضوعات سنتی و همچنین در حال ظهور در
زبان های برنامه نویسی را پوشش می دهند. آنها به تفصیل با مبانی
معنایی و سیستم نوع برای برنامه ریزی احتمالی سروکار دارند.
تکنیک‌هایی برای تأیید برنامه‌های همزمان یا با مرتبه بالاتر؛
زبان های برنامه نویسی برای آرایه ها یا داده های وب؛ تجزیه و
تحلیل برنامه و تأیید ویژگی های غیر استاندارد برنامه؛ مبانی و
کاربرد اثبات قضیه تعاملی؛ بازنویسی نمودار؛ منطق جدایی؛ نوع
جلسه؛ نظریه نوع؛ و پیچیدگی محاسباتی ضمنی
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 26th European
Symposium on Programming, ESOP 2017, which took place in
Uppsala, Sweden in April 2017, held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS
2017.
The 36 papers presented in this volume were carefully
reviewed and selected from 112 submissions. They cover
traditional as well as emerging topics in programming
languages. In detail they deal with semantic foundation and
type system for probabilistic programming; techniqu3es for
verifying concurrent or higher-order programs; programming
languages for arrays or web data; program analysis and
verification of non-standard program properties; foundation
and application of interactive theorem proving; graph
rewriting; separation logic; session type; type theory; and
implicit computational complexity.
فهرست مطالب
Front Matter....Pages I-XV
Disjoint Polymorphism....Pages 1-28
Generalizing Inference Systems by Coaxioms....Pages 29-55
Observed Communication Semantics for Classical Processes....Pages 56-82
Is Your Software on Dope?....Pages 83-110
Friends with Benefits....Pages 111-140
Confluence of Graph Rewriting with Interfaces....Pages 141-169
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency....Pages 170-200
Incremental Update for Graph Rewriting....Pages 201-228
Linearity, Control Effects, and Behavioral Types....Pages 229-259
Temporary Read-Only Permissions for Separation Logic....Pages 260-286
Faster Algorithms for Weighted Recursive State Machines....Pages 287-313
ML and Extended Branching VASS....Pages 314-340
Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring....Pages 341-367
Probabilistic Termination by Monadic Affine Sized Typing....Pages 368-392
Tackling Real-Life Relaxed Concurrency with FSL++....Pages 393-419
Extensible Datasort Refinements....Pages 420-447
Programs Using Syntax with First-Class Binders....Pages 448-475
LINCX: A Linear Logical Framework with First-Class Contexts....Pages 476-503
APLicative Programming with Naperian Functors....Pages 504-529
Verified Characteristic Formulae for CakeML....Pages 530-555
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic....Pages 556-583
Proving Linearizability Using Partial Orders....Pages 584-610
The Power of Non-determinism in Higher-Order Implicit Complexity....Pages 611-638
The Essence of Higher-Order Concurrent Separation Logic....Pages 639-667
Comprehending Isabelle/HOL’s Consistency....Pages 668-695
The Essence of Functional Programming on Semantic Data....Pages 696-723
A Classical Sequent Calculus with Dependent Types....Pages 724-749
Context-Free Session Type Inference....Pages 750-776
Modular Verification of Higher-Order Functional Programs....Pages 777-803
Commutative Semantics for Probabilistic Programming....Pages 804-830
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization....Pages 831-854
A Higher-Order Logic for Concurrent Termination-Preserving Refinement....Pages 855-879
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation....Pages 880-908
Abstract Specifications for Concurrent Maps....Pages 909-936
Back Matter....Pages 937-963
....Pages 964-990
