دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Projection factorisations in partial evaluation
دانلود کتاب فاکتورسازی های فرافکنی در ارزیابی جزئی
مشخصات کتاب
Projection factorisations in partial evaluation
ویرایش:
نویسندگان: John Launchbury
سری: Distinguished Dissertations in Computer Science
ISBN (شابک) : 0521414970, 9780521414975
ناشر: Cambridge University Press
سال نشر: 1991
تعداد صفحات: 176
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Projection factorisations in partial evaluation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فاکتورسازی های فرافکنی در ارزیابی جزئی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فاکتورسازی های فرافکنی در ارزیابی جزئی
ارزیاب جزئی تابعی است که یک برنامه را همراه با مقداری از ورودی برنامه می گیرد و در نتیجه یک برنامه جدید تولید می کند. این برنامه جدید با در نظر گرفتن داده های ورودی، نسخه بهینه شده قبلی است. قبل از ارزیابی جزئی، برنامه ورودی تحت تجزیه و تحلیل قرار می گیرد. این تجزیه و تحلیل زمان اتصال کشف می کند که چه مقادیری در برنامه ممکن است در طی ارزیابی جزئی محاسبه شوند - مقادیر استاتیک - و چه مقادیری ممکن است نباشند - مقادیر پویا. ارزیابی جزئی اخیراً به دلیل پتانسیل آن برای بهینه‌سازی برنامه جهانی، کانون توجه تعداد زیادی از محققان شده است که به سرعت در حال افزایش هستند. این یک مقدمه مفصل ارائه می دهد و به یک درمان ریاضی از تکنیک ادامه می دهد. این مربوط به افرادی است که به تبدیل خودکار برنامه، بهینه سازی برنامه، کامپایلرها، تجزیه و تحلیل برنامه، و علوم کامپیوتر نظری علاقه دارند. این اولین کتاب کامل با موضوع ارزیابی جزئی است.
توضیحاتی درمورد کتاب به خارجی
A partial evaluator is a function that takes a program, together with some of the input to the program, and produces a new program as a result. This new program is an optimized version of the old, having taken the input data into account. Prior to partial evaluation, the input program undergoes analysis. This binding-time analysis discovers which values within the program may be computed during partial evaluation--the static values--and which may not--the dynamic values. Partial evaluation has recently become the focus of attention for a rapidly increasing number of researchers because of its potential for global program optimization. It provides a detailed introduction and proceeds to a mathematical treatment of the technique. It is relevant to people interested in automatic program transformation, program optimization, compilers, program analysis, and theoretical computer science. This is the first complete book on the subject of partial evaluation.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب La filosofia futura. Oltre il dominio del divenire
دانلود کتاب To Plant a Walnut Tree: How To Create a Fruitful Legacy By Using Your Experience
دانلود کتاب Bunama-English and English-Bunama Dictionary
دانلود کتاب Vibrations of Rotating Machinery: Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis
