توضیحات
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.
The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Rou. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل بیست و هفتمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2017، در نامور، بلژیک، در اکتبر 2017 است.
19 مقاله کامل اصلاح شده با دقت بررسی و از بین 29 مقاله ارسالی انتخاب شدند. علاوه بر 19 مقاله اصلاح شده، این جلد شامل چکیده گفتگوهای دعوت شده توسط سه سخنران برجسته است: سومیت گولوانی، ماریکه هویسمن و گریگور رو. هدف از سری LOPSTR تحریک و ترویج تحقیقات بین المللی و همکاری در توسعه برنامه های مبتنی بر منطق است. LOPSTR برای مشارکت در همه جنبه های توسعه برنامه مبتنی بر منطق، تمام مراحل چرخه عمر نرم افزار، و مسائل برنامه نویسی در ابعاد کوچک و برنامه نویسی در بزرگ باز است. LOPSTR به طور سنتی در هر پارادایم زبانی در زمینه های سنتز، مشخصات، تبدیل، تجزیه و تحلیل و تأیید، تخصص، آزمایش و صدور گواهینامه، ترکیب، دستکاری برنامه/مدل، بهینه سازی، تکنیک های تبدیلی در SE، وارونگی، کاربردها و ابزارها مشارکت می کند. .
tag : دانلود کتاب سنتز و تبدیل برنامه مبتنی بر منطق , Download سنتز و تبدیل برنامه مبتنی بر منطق , دانلود سنتز و تبدیل برنامه مبتنی بر منطق , Download Logic-Based Program Synthesis and Transformation Book , سنتز و تبدیل برنامه مبتنی بر منطق دانلود , buy سنتز و تبدیل برنامه مبتنی بر منطق , خرید کتاب سنتز و تبدیل برنامه مبتنی بر منطق , دانلود کتاب Logic-Based Program Synthesis and Transformation , کتاب Logic-Based Program Synthesis and Transformation , دانلود Logic-Based Program Synthesis and Transformation , خرید Logic-Based Program Synthesis and Transformation , خرید کتاب Logic-Based Program Synthesis and Transformation ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.