دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation
دانلود کتاب سنتز و تبدیل برنامه مبتنی بر منطق
مشخصات کتاب
Logic-Based Program Synthesis and Transformation
ویرایش: [1st ed.]
نویسندگان: Fabio Fioravanti. John P. Gallagher
سری: Lecture Notes in Computer Science 10855
ISBN (شابک) : 9783319944593, 9783319944609
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: XVI, 341
[350]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تبدیل برنامه مبتنی بر منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تبدیل برنامه مبتنی بر منطق
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل بیست و هفتمین سمپوزیوم بین‌المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2017، که در نامور، بلژیک، در اکتبر 2017 در نامور، بلژیک، در اکتبر 2017 برگزار شد. 19 مقاله کامل اصلاح‌شده با دقت بررسی و از 29 مقاله ارسالی انتخاب شدند . علاوه بر 19 مقاله اصلاح شده، این جلد شامل چکیده گفتگوهای دعوت شده توسط سه سخنران برجسته است: سومیت گولوانی، ماریکه هویسمن، و گریگور روشو. هدف از سری LOPSTR تحریک و ترویج تحقیقات بین المللی و همکاری در توسعه برنامه های مبتنی بر منطق است. LOPSTR برای مشارکت در همه جنبه های توسعه برنامه مبتنی بر منطق، تمام مراحل چرخه عمر نرم افزار، و مسائل برنامه نویسی در ابعاد کوچک و برنامه نویسی در بزرگ باز است. LOPSTR به طور سنتی در هر پارادایم زبانی در زمینه های سنتز، مشخصات، تبدیل، تجزیه و تحلیل و تأیید، تخصص، آزمایش و گواهی، ترکیب، دستکاری برنامه/مدل، بهینه سازی، تکنیک های تبدیل در SE، وارونگی، کاربردها و ابزارها مشارکت می کند. .
توضیحاتی درمورد کتاب به خارجی
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 Roşu. 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.
فهرست مطالب
Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
Generation of Initial Contexts for Effective Deadlock Detection (Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel)....Pages 3-19
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog (Christiane Engels, Andreas Behrend, Stefan Brass)....Pages 20-36
Deadlock Detection of Java Bytecode (Cosimo Laneve, Abel Garcia)....Pages 37-53
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks (Umer Liqat, Zorana Banković, Pedro Lopez-Garcia, Manuel V. Hermenegildo)....Pages 54-72
CARET Analysis of Multithreaded Programs (Huu-Vu Nguyen, Tayssir Touili)....Pages 73-90
Front Matter ....Pages 91-91
Context Generation from Formal Specifications for C Analysis Tools (Michele Alberti, Julien Signoles)....Pages 93-111
Liveness-Driven Random Program Generation (Gergö Barany)....Pages 112-127
Erlang Code Evolution Control (David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit)....Pages 128-144
Front Matter ....Pages 145-145
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms (Thom Frühwirth)....Pages 147-163
Confluence and Convergence in Probabilistically Terminating Reduction Systems (Maja H. Kirkeby, Henning Christiansen)....Pages 164-179
Analysis of Rewriting-Based Systems as First-Order Theories (Salvador Lucas)....Pages 180-197
Front Matter ....Pages 199-199
A Constructor-Based Reachability Logic for Rewrite Theories (Stephen Skeirik, Andrei Stefanescu, José Meseguer)....Pages 201-217
Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures (Hassan Aït-Kaci, Gabriella Pasi)....Pages 218-234
Nominal C-Unification (Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández, Daniele Nantes-Sobrinho)....Pages 235-251
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms (Olivier Bodini, Paul Tarau)....Pages 252-268
Front Matter ....Pages 269-269
A Certified Reference Validation Mechanism for the Permission Model of Android (Gustavo Betarte, Juan Campo, Felipe Gorostiaga, Carlos Luna)....Pages 271-288
Predicate Pairing with Abstraction for Relational Verification (Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti)....Pages 289-305
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates (Raúl Gutiérrez, José Meseguer)....Pages 306-322
Combining Static and Dynamic Contract Checking for Curry (Michael Hanus)....Pages 323-340
Back Matter ....Pages 341-341
