دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Meta-programming in logic programming
دانلود کتاب فرابرنامه نویسی در برنامه نویسی منطقی
مشخصات کتاب
Meta-programming in logic programming
ویرایش:
نویسندگان: Harvey Abramson. M H. Rogers (ed.)
سری:
ISBN (شابک) : 0262510472, 5619882772
ناشر: The MIT Press
سال نشر: 1989
تعداد صفحات: 561
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 29,000
در صورت تبدیل فایل کتاب Meta-programming in logic programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فرابرنامه نویسی در برنامه نویسی منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فرابرنامه نویسی در برنامه نویسی منطقی
متابرنامه‌ها که سایر برنامه‌های رایانه‌ای را به‌عنوان داده در نظر می‌گیرند، شامل کامپایلرها، ویرایشگرها، شبیه‌سازها، اشکال‌زداها و ترانسفورماتورهای برنامه هستند. به دلیل کاربردهای گسترده، فرابرنامه نویسی به موضوعی قابل توجه عملی و نظری تبدیل شده است. این کتاب اولین دیدگاه جامعی از موضوعات در تئوری و کاربرد فرابرنامه‌نویسی ارائه می‌دهد که مشکلات بازنمایی و صحت و درستی مفسران، تحلیل و ارزیابی برنامه‌های فرامنطقی و کاربردها در سیستم‌های مبتنی بر دانش پیچیده را پوشش می‌دهد. آبرامسون خواننده علوم کامپیوتر در دانشگاه بریستول، انگلستان است. M. H. Rogers استاد علوم کامپیوتر، همچنین در دانشگاه بریستول است. فرابرنامه‌نویسی در برنامه‌نویسی منطقی از مجموعه گزارش‌ها و یادداشت‌های پژوهشی برنامه‌نویسی منطقی است که توسط ایهود شاپیرو ویرایش شده است.
توضیحاتی درمورد کتاب به خارجی
Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems.Harvey Abramson is Reader in Computer Science at the University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.
