دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Sam Lindley, Philip Wadler (auth.), Andrew D. Gordon (eds.) سری: Lecture Notes in Computer Science 6012 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642119565, 9783642119569 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 645 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب زبانها و سیستمهای برنامه نویسی: نوزدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20-28 مارس ، 2010. برگزار شده: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامه نویسی: نوزدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20-28 مارس ، 2010. برگزار شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، در پافوس، قبرس، در مارس 2010، به عنوان بخشی از ETAPS 2010، کنفرانس مشترک اروپایی در نظریه و عمل نرم افزار، برگزار شد. 30 مقاله کامل اصلاح شده، همراه با دو سخنرانی دعوت شده (یک چکیده و یکی کامل)، به دقت بررسی و از بین 121 مقاله ارسالی کامل انتخاب شدند. موضوعات مورد بحث شامل پارادایم ها و سبک های برنامه نویسی، روش ها و ابزارهایی برای نوشتن و مشخص کردن برنامه ها و زبان ها، روش ها و ابزارهایی برای استدلال در مورد برنامه ها، روش ها و ابزارهای پیاده سازی و همزمانی و توزیع است.
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include 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 -
The Audacity of Hope: Thoughts on Reclaiming the Database Dream....Pages 1-1
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions....Pages 2-22
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis....Pages 23-42
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays....Pages 43-63
A Semantic Framework for Declassification and Endorsement....Pages 64-84
Amortised Resource Analysis with Separation Logic....Pages 85-103
A PolyTime Functional Language from Light Linear Logic....Pages 104-124
Testing Polymorphic Properties....Pages 125-144
Formal Verification of Coalescing Graph-Coloring Register Allocation....Pages 145-164
A Theory of Speculative Computation....Pages 165-184
Propositional Interpolation and Abstract Interpretation....Pages 185-204
Functional Programming in Sublinear Space....Pages 205-225
Logical Concurrency Control from Sequential Proofs....Pages 226-245
Fluid Updates: Beyond Strong vs. Weak Updates....Pages 246-266
Parameterized Memory Models and Concurrent Separation Logic....Pages 267-286
Amortized Resource Analysis with Polynomial Potential....Pages 287-306
Generative Operational Semantics for Relaxed Memory Models....Pages 307-326
Automating Security Mediation Placement....Pages 327-344
TRX: A Formally Verified Parser Interpreter....Pages 345-365
On the Expressive Power of Primitives for Compensation Handling....Pages 366-386
Separating Shape Graphs....Pages 387-406
Deadlock-Free Channels and Locks....Pages 407-426
Verifying a Compiler for Java Threads....Pages 427-447
A Grammar-Based Approach to Invertible Programs....Pages 448-467
Faulty Logic: Reasoning about Fault Tolerant Programs....Pages 468-487
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While....Pages 488-506
A Universal Calculus for Stream Processing Languages....Pages 507-528
Enforcing Stateful Authorization and Information Flow Policies in Fine ....Pages 529-549
Stateful Contracts for Affine Types....Pages 550-569
CFA2: A Context-Free Approach to Control-Flow Analysis....Pages 570-589
Weighted Dynamic Pushdown Networks....Pages 590-609
Explicit Stabilisation for Modular Rely-Guarantee Reasoning....Pages 610-629
Back Matter....Pages -