دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Xavier Leroy (auth.), Pierpaolo Degano (eds.) سری: Lecture Notes in Computer Science 2618 ISBN (شابک) : 3540008861, 9783540008866 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 427 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب زبانها و سیستم های برنامه نویسی: سی امین سمپوزیوم اروپا در زمینه برنامه ریزی، ESOP 2003 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار، ETAPS 2003 ورشو، لهستان، 7-11 آوریل 2003، پرونده ها: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، ساختارهای داده، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستم های برنامه نویسی: سی امین سمپوزیوم اروپا در زمینه برنامه ریزی، ESOP 2003 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار، ETAPS 2003 ورشو، لهستان، 7-11 آوریل 2003، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم اروپایی در برنامه نویسی، ESOP 2003، برگزار شده در ورشو، لهستان، در آوریل 2003 است.
25 مورد تجدید نظر شده مقالات کامل ارائه شده به همراه دو مقاله دعوت شده به دقت بررسی و از بین 99 مقاله ارسالی انتخاب شدند. از جمله موضوعات مطرح شده، پارادایم های برنامه نویسی و ادغام آنها، معناشناسی برنامه، محاسبات محاسباتی، امنیت، سیستم های نوع پیشرفته، تجزیه و تحلیل برنامه، تبدیل برنامه، و الگوریتم های عملی بر اساس تحولات نظری است.
This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.
The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
Computer Security from a Programming Language and Static Analysis Perspective....Pages 1-9
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis....Pages 10-21
A Tail-Recursive Semantics for Stack Inspections....Pages 22-37
Flexible Models for Dynamic Linking....Pages 38-53
Correction of Functional Logic Programs....Pages 54-68
Approximate Pruning in Tabled Logic Programming....Pages 69-83
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling....Pages 84-98
Security Properties: Two Agents Are Sufficient....Pages 99-113
A Simple Language for Real-Time Cryptographic Protocol Analysis....Pages 114-128
Rule Formats for Non Interference....Pages 129-143
On the Secure Implementation of Security Protocols....Pages 144-158
Handling Encryption in an Analysis for Secure Information Flow....Pages 159-173
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers....Pages 174-188
Automatic Software Model Checking Using CLP....Pages 189-203
Verifying Temporal Heap Properties Specified via Evolution Logic....Pages 204-222
Correctness of Data Representations Involving Heap Data Structures....Pages 223-237
Modeling Web Interactions....Pages 238-252
Type Inference for a Distributed π-Calculus....Pages 253-268
Type-Safe Update Programming....Pages 269-283
Type Error Slicing in Implicitly Typed Higher-Order Languages....Pages 284-301
Core Formal Molecular Biology....Pages 302-318
Requirements on the Execution of Kahn Process Networks....Pages 319-334
Tagging, Encoding, and Jones Optimality....Pages 335-347
The Rely-Guarantee Method in Isabelle/HOL....Pages 348-362
Building Certified Libraries for PCC: Dynamic Storage Allocation....Pages 363-379
Finite Differencing of Logical Formulas for Static Analysis....Pages 380-398
Register Allocation by Proof Transformation....Pages 399-413