مشخصات کتاب

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

ویرایش: 1 
نویسندگان: Michael Codish (auth.),  Andy King (eds.)  
سری: Lecture Notes in Computer Science 4915 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783540787686, 9783540787693 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 227 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: هفدهمین سمپوزیوم بین المللی ، LOPSTR 2007 ، کنگنس لینگبی ، دانمارک ، 23 تا 24 آگوست 2007 ، مقاله های منتخب تجدید نظر شده: منطق و معانی برنامه ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)

در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: هفدهمین سمپوزیوم بین المللی ، LOPSTR 2007 ، کنگنس لینگبی ، دانمارک ، 23 تا 24 آگوست 2007 ، مقاله های منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: هفدهمین سمپوزیوم بین المللی ، LOPSTR 2007 ، کنگنس لینگبی ، دانمارک ، 23 تا 24 آگوست 2007 ، مقاله های منتخب تجدید نظر شده



این کتاب مجموعه مقالات پس از داوری کامل هفدهمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2007 است که در کونگز لینگبی، دانمارک، 23 تا 24 اوت 2007 با SAS 2007 برگزار شد.

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Front Matter....Pages -
Proving Termination with (Boolean) Satisfaction....Pages 1-7
Termination Analysis of Logic Programs Based on Dependency Graphs....Pages 8-22
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation....Pages 23-42
Towards a Normal Form for Mercury Programs....Pages 43-58
Aggregates for CHR through Program Transformation....Pages 59-73
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs....Pages 74-89
Denotation by Transformation....Pages 90-105
Generation of Rule-Based Constraint Solvers: Combined Approach....Pages 106-120
A Scalable Inclusion Constraint Solver Using Unification....Pages 121-137
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs....Pages 138-153
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs....Pages 154-168
Snapshot Generation in a Constructive Object-Oriented Modeling Language....Pages 169-184
Synthesis of Data Views for Communicating Processes....Pages 185-200
Action Refinement in Process Algebra and Security Issues....Pages 201-217
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Intelligence Systems in Environmental Management: Theory and Applications

دانلود کتاب Il teatro greco. Tutte le tragedie

دانلود کتاب Brain Death: A Reappraisal

دانلود کتاب Handbook of Psychoeducational Assessment : a Practical Handbook -- A Volume in the Educational Psychology Series.

دانلود کتاب Visible Mending: Repair, Renew, Reuse The Clothes You Love