مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Gepard: The History of German Anti-Aircraft Tanks

دانلود کتاب 俄罗斯军事历史旅游线路

دانلود کتاب Restoring the Kinship Worldview: Indigenous Voices Introduce 28 Precepts for Rebalancing Life on Planet Earth

دانلود کتاب Практикум по трудовому праву

دانلود کتاب Analisi tecnica dei mercati finanziari. Metodologie, applicazioni e strategie operative, Copertine Assortite