دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی ، لوپستر 98 منچستر ، انگلستان ، 15 تا 19 ژوئن 1998 مقالات منتخب
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
ویرایش: 1 نویسندگان: Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.) سری: Lecture Notes in Computer Science 1559 ISBN (شابک) : 9783540657651, 9783540489580 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 340 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 75,000
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی ، لوپستر 98 منچستر ، انگلستان ، 15 تا 19 ژوئن 1998 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی ، لوپستر 98 منچستر ، انگلستان ، 15 تا 19 ژوئن 1998 مقالات منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی هشتمین کارگاه بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR'98 که در ژوئن 1998 در منچستر، انگلستان برگزار شد، ارائه می دهد. 16 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و انتخاب شدند. طی سه دور بازرسی از مجموع 36 چکیده مبسوط اولیه ارسال شده. همچنین شامل هشت مقاله کوتاه است. از جمله موضوعات تحت پوشش می توان به مشخصات منطق، ساخت برنامه ریاضی، برنامه نویسی منطقی، منطق محاسباتی، سنتز برنامه استقرایی، برنامه های منطق محدودیت و مبانی ریاضی اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
فهرست مطالب
Attempto Controlled English — Not Just Another Logic Specification Language....Pages 1-20
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury....Pages 21-40
Pragmatics in the Synthesis of Logic Programs....Pages 41-60
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems....Pages 61-80
Synthesis of Programs in Abstract Data Types....Pages 81-100
OOD Frameworks in Component-Based Software - Development in Computational Logic....Pages 101-123
The Use of Renaming in Composing General Programs....Pages 124-142
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes....Pages 143-158
Specialising Logic Programs with Respect to Call/Post Specifications....Pages 159-178
Generalization in Hierarchies of Online Program Specialization Systems....Pages 179-198
Improving Homeomorphic Embedding for Online Termination....Pages 199-218
Successes in Logic Programs....Pages 219-239
Inferring and Compiling Termination for Constraint Logic Programs....Pages 240-254
Strictness Analysis as Finite-Domain Constraint Solving....Pages 255-270
Invariant Discovery via Failed Proof Attempts....Pages 271-288
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations....Pages 289-307
Algorithms for Synthesizing Reactive Systems: A Perspective....Pages 308-308
Schema-Guided Synthesis of CLP Programs....Pages 309-312
Abstract: Proof Planning with Program Schemas....Pages 313-315
Logical Synthesis of Imperative O.O. Programs....Pages 316-318
Mathematical Foundations for Program Transformations....Pages 319-321
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs....Pages 322-324
Bottom-Up Specialisation of Logic Programs....Pages 325-327
Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging....Pages 328-330
نظرات کاربران
کتاب های تصادفی
دانلود کتاب How Hollywood Projects Foreign Policy
دانلود کتاب Autopoiesis and Configuration Theory: New Approaches to Societal Steering
دانلود کتاب Sozialwissenschaftliche Analysen von Bild- und Medienwelten
