دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
دانلود کتاب برنامه ها به عنوان اشیاء داده ها: سمپوزیوم دوم ، PADO2001 Ahhus ، دانمارک ، مجموعه مقالات
مشخصات کتاب
Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
ویرایش: 1 نویسندگان: Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.) سری: Lecture Notes in Computer Science 2053 ISBN (شابک) : 9783540420682, 3540420681 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 287 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب برنامه ها به عنوان اشیاء داده ها: سمپوزیوم دوم ، PADO2001 Ahhus ، دانمارک ، مجموعه مقالات: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ها به عنوان اشیاء داده ها: سمپوزیوم دوم ، PADO2001 Ahhus ، دانمارک ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ها به عنوان اشیاء داده ها: سمپوزیوم دوم ، PADO2001 Ahhus ، دانمارک ، مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین سمپوزیوم برنامه ها به عنوان اشیاء داده، PADO 2001، در آرهوس، دانمارک، در ماه مه 2001 برگزار شد. جنبه های مختلف نگاه کردن به برنامه ها به عنوان اشیاء داده از نقطه نظر تحلیل برنامه، تبدیل برنامه، پیچیدگی محاسباتی و غیره پوشش داده می شود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second
Symposium on Programs as Data Objects, PADO 2001, held in
Aarhus, Denmark, in May 2001.
The 14 revised full papers presented were carefully reviewed
and selected from 30 submissions. Various aspects of looking at
programs as data objects are covered from the point of view of
program analysis, program transformation, computational
complexity, etc.
فهرست مطالب
Program Analysis for Implicit Computational Complexity....Pages 1-1
Deriving Pre-conditions for Array Bound Check Elimination....Pages 2-24
Type Systems for Useless-Variable Elimination....Pages 25-38
Boolean Constraints for Binding-Time Analysis....Pages 39-62
Constraint Abstractions....Pages 63-83
Implementing Circularity Using Partial Evaluation....Pages 84-102
Combining Forward And Backward Analyses of Temporal Properties....Pages 103-116
Numerical Power Analysis....Pages 117-137
Run-Time Bytecode Specialization....Pages 138-154
A New Numerical Abstract Domain Based on Difference-Bound Matrices....Pages 155-172
Partial Evaluation for Class-Based Object-Oriented Languages....Pages 173-197
Driving in the Jungle....Pages 198-217
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations....Pages 218-237
Dynamic Partial Evaluation....Pages 238-256
Tag Elimination and Jones-Optimality....Pages 257-275
Bottom-Up Deduction with Deletion and Priorities....Pages 276-277
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Anglo-Soviet Relations, 1917-1921, Volume 3: The Anglo-Soviet Accord
دانلود کتاب Corepower, Leadership from your Core.: a Guide to Power, Love, Wisom and Inspiration
دانلود کتاب Edible Memory: The Lure of Heirloom Tomatoes and Other Forgotten Foods
