دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
دانلود کتاب زبانها و سیستمهای برنامهنویسی: بیست و سومین سمپوزیوم اروپایی برنامهنویسی، ESOP 2014، به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد نظریه و عمل نرمافزار، ETAPS 2014، گرنوبل، فرانسه، 5-13 آوریل 2014، مجموعه مقالات برگزار شد.
مشخصات کتاب
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ویرایش: 1
نویسندگان: Zhong Shao (eds.)
سری: Lecture Notes in Computer Science 8410 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783642548321, 9783642548338
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 588
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 68,000
کلمات کلیدی مربوط به کتاب زبانها و سیستمهای برنامهنویسی: بیست و سومین سمپوزیوم اروپایی برنامهنویسی، ESOP 2014، به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد نظریه و عمل نرمافزار، ETAPS 2014، گرنوبل، فرانسه، 5-13 آوریل 2014، مجموعه مقالات برگزار شد.: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامهنویسی: بیست و سومین سمپوزیوم اروپایی برنامهنویسی، ESOP 2014، به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد نظریه و عمل نرمافزار، ETAPS 2014، گرنوبل، فرانسه، 5-13 آوریل 2014، مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و سیستمهای برنامهنویسی: بیست و سومین سمپوزیوم اروپایی برنامهنویسی، ESOP 2014، به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد نظریه و عمل نرمافزار، ETAPS 2014، گرنوبل، فرانسه، 5-13 آوریل 2014، مجموعه مقالات برگزار شد.
این کتاب مجموعه مقالات بیست و سومین سمپوزیوم اروپایی برنامه نویسی، ESOP 2014 است که در آوریل 2014 در گرنوبل، فرانسه، به عنوان بخشی از کنفرانس مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2014 برگزار شد. مقالات ارائه شده در این جلد به دقت بررسی و از بین 109 مقاله ارسالی انتخاب شدند. علاوه بر این، کتاب شامل دو سخنرانی دعوت شده است. مشارکتها در بخشهای موضوعی به نامهای زیر سازماندهی شدهاند: سیستمهای نوع; تدوین تایید شده؛ تأیید برنامه؛ مفاهیم؛ همزمانی؛ انواع خطی؛ محاسبات شبکه و فرآیند؛ و تجزیه و تحلیل برنامه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.
فهرست مطالب
Front Matter....Pages -
Composable Transactional Objects: A Position Paper....Pages 1-7
Application-Scale Secure Multiparty Computation....Pages 8-26
An Array-Oriented Language with Static Rank Polymorphism....Pages 27-46
Gradual Typing for Annotated Type Systems....Pages 47-66
Staged Composition Synthesis....Pages 67-86
Overlapping and Order-Independent Patterns....Pages 87-106
Verified Compilation for Shared-Memory C....Pages 107-127
Verifying an Open Compiler Using Multi-language Semantics....Pages 128-148
Impredicative Concurrent Abstract Predicates....Pages 149-168
Local Reasoning for the POSIX File System....Pages 169-188
A Coq Formalization of the Relational Data Model....Pages 189-208
On Probabilistic Applicative Bisimulation and Call-by-Value λ -Calculi....Pages 209-228
Grounding Synchronous Deterministic Concurrency in Sequential Programming....Pages 229-248
The Duality of Construction....Pages 249-269
Deriving Pretty-Big-Step Semantics from Small-Step Semantics....Pages 270-289
Communicating State Transition Systems for Fine-Grained Concurrent Resources....Pages 290-310
Checking Linearizability of Encapsulated Extended Operations....Pages 311-330
Bounded Linear Types in a Resource Semiring....Pages 331-350
A Core Quantitative Coeffect Calculus....Pages 351-370
Measurements in Proof Nets as Higher-Order Quantum Circuits....Pages 371-391
Automatic Termination Verification for Higher-Order Functional Programs....Pages 392-411
An Abstract Domain to Infer Ordinal-Valued Ranking Functions....Pages 412-431
Model and Proof Generation for Heap-Manipulating Programs....Pages 432-452
REAP: Reporting Errors Using Alternative Paths....Pages 453-472
The Network as a Language Construct....Pages 473-492
Resolving Non-determinism in Choreographies....Pages 493-512
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join....Pages 513-533
Targeted Update – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis....Pages 534-553
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries....Pages 554-574
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Immunological Aspects of Gastroenterology
دانلود کتاب Distilling the Frenzy: Writing the History of One's Own Timed
دانلود کتاب Maternal, Neonatal, and Women's Health Nursing (Maternal, Neonatal, & Women's Health Nursing)
