دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
دانلود کتاب معناشناسی، کاربرد و اجرای نسل برنامه: کارگاه بین المللی، SAIG 2000 مونترال، کانادا، 20 سپتامبر 2000 پرونده
مشخصات کتاب
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Richard B. Kieburtz (auth.), Walid Taha (eds.) سری: Lecture Notes in Computer Science 1924 ISBN (شابک) : 3540410546, 9783540410546 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 236 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب معناشناسی، کاربرد و اجرای نسل برنامه: کارگاه بین المللی، SAIG 2000 مونترال، کانادا، 20 سپتامبر 2000 پرونده: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی، کاربرد و اجرای نسل برنامه: کارگاه بین المللی، SAIG 2000 مونترال، کانادا، 20 سپتامبر 2000 پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی، کاربرد و اجرای نسل برنامه: کارگاه بین المللی، SAIG 2000 مونترال، کانادا، 20 سپتامبر 2000 پرونده
این کتاب مجموعه مقالات داوری کارگاه بین‌المللی کاربردهای معناشناسی و اجرای برنامه، SAIG 2000 است که در مونترال، کانادا در سپتامبر 2000 برگزار شد. از بین 20 مورد ارسالی به دقت بررسی و انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته می‌شود، زبان‌های برنامه‌نویسی چند مرحله‌ای، تلفیقی از زبان‌های خاص دامنه و سیستم‌های ماژول، تبدیل برنامه، تولید برنامه سطح پایین، مشخصات رسمی، تجزیه و تحلیل خاتمه، و تجزیه و تحلیل مبتنی بر نوع هستند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.
فهرست مطالب
Implementing Closed Domain-Specific Languages....Pages 1-2
Refinements and Product Line Architectures....Pages 3-4
Reasoning about Staged Computation....Pages 5-6
Specialization of Systems Programs: Lessons and Perspectives....Pages 7-8
Compiling Embedded Languages....Pages 9-26
Lightweight and Generative Components II: Binary-Level Components....Pages 28-49
Fragmental Specialization....Pages 51-71
A New Termination Approach for Specialization....Pages 72-91
Multi-stage Imperative Languages: A Conservative Extension Result....Pages 92-107
Specification and Correctness of Lambda Lifting....Pages 108-128
On Jones-Optimal Specialization for Strongly Typed Languages....Pages 129-148
Pragmatic Aspects of Reusable Program Generators Position Paper....Pages 149-171
Type-Based Useless-Code Elimination for Functional Programs Position Paper....Pages 172-189
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper....Pages 190-211
Generating Data Analysis Programs from Statistical Models....Pages 212-229
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
دانلود کتاب Brain-Computer Interfacing: An Introduction
دانلود کتاب Core J2EE Patterns: Best Practices and Design Strategies
دانلود کتاب OpenMP Shared Memory Parallel Programming: International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
دانلود کتاب Computer Security in the 21st Century
دانلود کتاب Splunk Fundamentals I
دانلود کتاب Wiley Acing the GATE: Computer Science and Information Technology
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
دانلود کتاب Advances in Pattern Recognition: Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010. Proceedings
