دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: هفدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2008 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2008 ، بوداپست ، مجارستان ، 29 مارس - 6 آوریل ، 2008. مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Scott Owens (auth.), Sophia Drossopoulou (eds.) سری: Lecture Notes in Computer Science 4960 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540787380, 9783540787389 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 409 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: هفدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2008 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2008 ، بوداپست ، مجارستان ، 29 مارس - 6 آوریل ، 2008. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ساختار داده ها
در صورت تبدیل فایل کتاب Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: هفدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2008 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2008 ، بوداپست ، مجارستان ، 29 مارس - 6 آوریل ، 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: هفدهمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2008 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2008 ، بوداپست ، مجارستان ، 29 مارس - 6 آوریل ، 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2008، برگزار شده در بوداپست، مجارستان، در مارس/آوریل 2008، به عنوان بخشی از ETAPS 2008، کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار است.
25 مقاله کامل اصلاح شده ارائه شده همراه با چکیده یک سخنرانی دعوت شده و دو ارائه ابزار به دقت بررسی و از بین 104 مورد ارسالی انتخاب شدند و به مسائل اساسی در مشخصات، تجزیه و تحلیل و اجرای زبان‌ها و سیستم‌های برنامه‌نویسی پرداختند. . مقالات در بخش های موضوعی در مورد تجزیه و تحلیل استاتیک، امنیت، همزمانی و تأیید برنامه سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 2008, as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.
The 25 revised full papers presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification.
فهرست مطالب
Front Matter....Pages -
A Sound Semantics for OCaml light ....Pages 1-15
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!....Pages 16-31
Regular Expression Subtyping for XML Query and Update Languages....Pages 32-47
A Theory of Hygienic Macros....Pages 48-62
A Hybrid Denotational Semantics for Hybrid Systems....Pages 63-77
Full Abstraction for Linda....Pages 78-92
Practical Programming with Higher-Order Encodings and Dependent Types....Pages 93-107
Programming in JoCaml (Tool Demonstration)....Pages 108-111
Playing with $\\cal{TOY}$ : Constraints and Domain Cooperation....Pages 112-115
Typing Safe Deallocation....Pages 116-130
Iterative Specialisation of Horn Clauses....Pages 131-145
Constructive Mathematics and Functional Programming (Abstract)....Pages 146-147
Ranking Abstractions....Pages 148-162
Non-disjunctive Numerical Domain for Array Predicate Abstraction....Pages 163-177
Upper Adjoints for Fast Inter-procedural Variable Equalities....Pages 178-192
Cover Algorithms and Their Combination....Pages 193-207
Tapido : Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)....Pages 208-223
Linear Declassification....Pages 224-238
Just Forget It – The Semantics and Enforcement of Information Erasure....Pages 239-253
Open Bisimulation for the Concurrent Constraint Pi-Calculus....Pages 254-268
The Conversation Calculus: A Model of Service-Oriented Computation....Pages 269-283
Inferring Channel Buffer Bounds Via Linear Programming....Pages 284-298
Verification of Higher-Order Computation: A Game-Semantic Approach....Pages 299-306
Verification of Equivalent-Results Methods....Pages 307-321
Semi-persistent Data Structures....Pages 322-336
A Realizability Model for Impredicative Hoare Type Theory....Pages 337-352
Oracle Semantics for Concurrent Separation Logic....Pages 353-367
Certificate Translation in Abstract Interpretation....Pages 368-382
A Formal Implementation of Value Commitment....Pages 383-397
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
دانلود کتاب Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
دانلود کتاب MFC - внутренний мир
دانلود کتاب Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings
دانلود کتاب Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings
دانلود کتاب Introductory Aerodynamics and Hydrodynamics of Wings and Bodies: A Software-Based Approach
دانلود کتاب Maxima 5.15.0
دانلود کتاب Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974
