ترجمه فارسی توضیحات (ترجمه ماشینی)
سنتز و تحول برنامه مبتنی بر منطق: هفدهمین سمپوزیوم بین المللی، LOPSTR 2007، Kongens Lyngby، دانمارک، 23-24 اوت 2007، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل هفدهمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2007 است که در کونگز لینگبی، دانمارک، 23 تا 24 اوت 2007 با SAS 2007 برگزار شد.
13 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده به دقت انتخاب و از بین 30 مقاله ارسالی طی دو دور بررسی و بهبود، بازبینی شدند. مقالات در بخش های موضوعی در مورد خاتمه برنامه، تبدیل برنامه، حل محدودیت ها و تجزیه و تحلیل و همچنین مهندسی نرم افزار سازماندهی شده اند.This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007.
The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.