دانلود کتاب Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 – July 1, 2009 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: بیستمین کنفرانس بین المللی، RTA 2009 برازیلیا، برزیل، 29 ژوئن – 1 ژوئیه، 2009 مجموعه مقالات) نوشته شده توسط «Johannes Waldmann (auth.) – Ralf Treinen (eds.)»
اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: بیستمین کنفرانس بین المللی، RTA 2009 برازیلیا، برزیل، 29 ژوئن – 1 ژوئیه، 2009 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Johannes Waldmann (auth.) – Ralf Treinen (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 391
حجم کتاب: 5 مگابایت
کد کتاب: 3642023479 , 9783642023477
نوبت چاپ: 1
توضیحات کتاب تکنیک ها و کاربردهای بازنویسی: بیستمین کنفرانس بین المللی، RTA 2009 برازیلیا، برزیل، 29 ژوئن – 1 ژوئیه، 2009 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیستمین کنفرانس بین‌المللی تکنیک‌ها و کاربردهای بازنویسی، RTA 2009، در برازیلیا، برزیل، در 29 ژوئن تا 1 ژوئیه 2009 است.
22 مقاله کامل اصلاح‌شده. و چهار توصیف سیستم ارائه شده به دقت بررسی و از بین 59 ارسال اولیه انتخاب شدند. این مقالات تحقیقات جاری را در مورد تمام جنبه‌های بازنویسی از جمله زمینه‌های مورد علاقه معمولی مانند برنامه‌ها، مسائل اساسی، چارچوب‌ها، پیاده‌سازی‌ها و معناشناسی را پوشش می‌دهند.
This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasília, Brazil, during June 29 – July 1, 2009.
The 22 revised full papers and four system descriptions presented were carefully reviewed and selected from 59 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
