دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Greg Morrisett (auth.), Daniel Le Métayer (eds.) سری: Lecture Notes in Computer Science 2305 ISBN (شابک) : 3540433635, 9783540433637 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 341 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب زبانها و سیستمهای برنامه نویسی: یازدهمین سمپوزیوم اروپایی برنامه نویسی ، ESOP 2002 به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد نظریه و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ساختار داده ها
در صورت تبدیل فایل کتاب Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامه نویسی: یازدهمین سمپوزیوم اروپایی برنامه نویسی ، ESOP 2002 به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد نظریه و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ETAPS2002 اولین نمونه از کنفرانس مشترک اروپایی نظریه و عمل نرم افزار بود. ETAPS یک کنفرانس سالانه فدرال است که در سال 1998 با ترکیب تعدادی از کنفرانس های موجود و جدید تأسیس شد. این سال شامل 5 کنفرانس (FOSSACS، FASE، ESOP، CC، TACAS)، 13 کارگاه آموزشی ماهواره (ACL2، AGT، CMCS، COCV، DCC، INT، LDTA، SC، SFEDL، SLAP، SPIN، TPTS، و VISS) بود. 8 سخنرانی دعوت شده (غیر از آنهایی که مخصوص رویدادهای ماهواره ای هستند) و چندین آموزش. رویدادهایی که ETAPS را شامل می شود به جنبه های مختلف سیستم - فرآیند توسعه، از جمله مشخصات، طراحی، پیاده سازی، تجزیه و تحلیل و بهبود می پردازد. زبانها، روششناسیها و ابزارهایی که از این موارد پشتیبانی میکنند، همگی در محدوده آن هستند. آمیزههای متفاوتی از تئوری و عمل با گرایش به نظریه با انگیزه عملی از یک سو و عمل مبتنی بر درستی از سوی دیگر نشان داده میشوند. بسیاری از مسائل مربوط به طراحی نرم افزار به طور کلی در مورد سیستم ها، از جمله سیستم های سخت افزاری اعمال می شود، و تاکید بر نرم افزار منحصر به فرد نیست.
ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci?cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Type Checking Systems Code....Pages 1-5
Mixin Modules in a Call-by-Value Setting....Pages 6-20
Existential Types for Imperative Languages....Pages 21-35
Another Type System for In-Place Update....Pages 36-52
Soft Concurrent Constraint Programming....Pages 53-67
Programming Languages for Compressing Graphics....Pages 68-82
An Accumulative Parallel Skeleton for All....Pages 83-97
Higher-Order Intensional Type Analysis....Pages 98-114
Branching Types....Pages 115-132
Exceptions, Continuations and Macro-expressiveness....Pages 133-146
A Theory of Second-Order Trees....Pages 147-161
Tool Support for Improving Test Coverage....Pages 162-177
Data Space Oriented Tiling....Pages 178-193
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach....Pages 194-208
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter....Pages 209-212
A Modular, Extensible Proof Method for Small-Step Flow Analyses....Pages 213-227
A Prototype Dependency Calculus....Pages 228-242
Automatic Complexity Analysis....Pages 243-261
Thread-Modular Verification for Shared-Memory Programs....Pages 262-277
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures....Pages 278-294
Finite-Control Mobile Ambients....Pages 295-313
Dependency Analysis of Mobile Systems....Pages 314-329