دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و هشتمین سمپوزیوم بین المللی، LOPSTR 2018، فرانکفورت/ماین، آلمان، 4 تا 6 سپتامبر 2018، مقالات منتخب اصلاح شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ویرایش: 1st ed.
نویسندگان: Fred Mesnard. Peter J. Stuckey
سری: Lecture Notes in Computer Science 11408
ISBN (شابک) : 9783030138370, 9783030138387
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: 212
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و هشتمین سمپوزیوم بین المللی، LOPSTR 2018، فرانکفورت/ماین، آلمان، 4 تا 6 سپتامبر 2018، مقالات منتخب اصلاح شده: علوم کامپیوتر، منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و هشتمین سمپوزیوم بین المللی، LOPSTR 2018، فرانکفورت/ماین، آلمان، 4 تا 6 سپتامبر 2018، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و هشتمین سمپوزیوم بین المللی، LOPSTR 2018، فرانکفورت/ماین، آلمان، 4 تا 6 سپتامبر 2018، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل بیست و هشتمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2018، در فرانکفورت/ماین، آلمان، در سپتامبر 2018 برگزار شد. 11 مقاله کامل اصلاح شده با دقت بررسی شدند. و از بین 29 مورد ارسالی انتخاب شد. علاوه بر 11 مقاله، این جلد شامل 3 چکیده از سخنرانی های دعوت شده و 2 چکیده از آموزش های دعوت شده است. مقالات در موضوعات زیر گروه بندی می شوند: تجزیه و تحلیل بازنویسی اصطلاح. برنامه نویسی توزیع شده/همزمان مبتنی بر منطق؛ تجزیه و تحلیل برنامه نویسی منطقی؛ و تحلیل برنامه
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.
فهرست مطالب
Front Matter ....Pages I-XX
Front Matter ....Pages 1-1
Proving Program Properties as First-Order Satisfiability (Salvador Lucas)....Pages 3-21
Guided Unfoldings for Finding Loops in Standard Term Rewriting (Étienne Payet)....Pages 22-37
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms (María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer)....Pages 38-55
Front Matter ....Pages 57-57
Multiparty Classical Choreographies (Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska)....Pages 59-76
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference (Petros Papapanagiotou, Jacques Fleuriot)....Pages 77-93
Confluence of CHR Revisited: Invariants and Modulo Equivalence (Henning Christiansen, Maja H. Kirkeby)....Pages 94-111
Front Matter ....Pages 113-113
Compiling Control as Offline Partial Deduction (Vincent Nys, Danny De Schreye)....Pages 115-131
Predicate Specialization for Definitional Higher-Order Logic Programs (Antonis Troumpoukis, Angelos Charalambidis)....Pages 132-147
An Assertion Language for Slicing Constraint Logic Languages (Moreno Falaschi, Carlos Olarte)....Pages 148-165
Front Matter ....Pages 167-167
Eliminating Unstable Tests in Floating-Point Programs (Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato)....Pages 169-183
Multivariant Assertion-Based Guidance in Abstract Interpretation (Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo)....Pages 184-201
Back Matter ....Pages 203-203
