دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات محاسباتی ویرایش: 1 نویسندگان: Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.) سری: Lecture Notes in Computer Science 3049 ISBN (شابک) : 3540221522, 9783540221524 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 546 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب توسعه برنامه در منطق محاسباتی: یک دهه از پیشرفتهای تحقیق در توسعه برنامه مبتنی بر منطق: منطق و معانی برنامه ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب توسعه برنامه در منطق محاسباتی: یک دهه از پیشرفتهای تحقیق در توسعه برنامه مبتنی بر منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
1 دهمین سالگرد سمپوزیوم LOPSTR انگیزه ای را برای این جلد فراهم کرد. LOPSTR در سال 1991 به عنوان کارگاهی در مورد سنتز و تبدیل برنامه های منطقی شروع به کار کرد، اما بعداً دامنه خود را به توسعه برنامه مبتنی بر منطق به طور کلی گسترش داد، یعنی توسعه برنامه در منطق محاسباتی، و از این رو عنوان این جلد را به خود اختصاص داد. نیروی محرک پشت LOPSTR این باور بوده است که پارادایم های اعلامی مانند برنامه نویسی منطقی برای وظایف توسعه برنامه بهتر از نمونه های غیراعلامی سنتی مانند پارادایم ضروری مناسب هستند. مشخصات، سنتز، تبدیل یا تخصص، تجزیه و تحلیل، اشکال زدایی و تأیید همگی می توانند پایه های منطقی داشته باشند، بنابراین یک چارچوب یکپارچه برای کل فرآیند توسعه ارائه می شود. در حدود 10 سال گذشته، چنین چارچوب نظری واقعاً شروع به ظهور کرده است. حتی ابزارهایی برای تجزیه و تحلیل، تأیید و مشخصسازی پیادهسازی شدهاند. با این حال، منصفانه باید بگوییم که تمرکز تا حد زیادی در برنامه کوچک بوده است. بنابراین چالش آینده اعمال یا گسترش این تکنیکها به برنامهنویسی در سطح وسیع، به منظور مقابله با مهندسی نرمافزار در دنیای واقعی است. با بازگشت به این جلد، هدف ما ارائه مجموعهای از مقالاتی است که تحقیقات مهمی را در 10 سال گذشته بازتاب میدهند. این مقالات کل فرآیند توسعه را پوشش میدهند: خصوصیات، سنتز، تجزیه و تحلیل، تحول و تخصص، و همچنین معناشناسی و سیستمها.
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Speci?cation, synthesis, transformation or specialization, analysis, debugging and veri?cation can all be given logical foundations, thus providing a unifying framework for the whole development process. In the past 10 years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, veri?cation and speci- ization. However,itisfairtosaythatsofarthefocushaslargelybeenonprogrammi- in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world. Returning to this volume, our aim is to present a collection of papers that re?ect signi?cant research e?orts over the past 10 years. These papers cover the wholedevelopmentprocess:speci?cation,synthesis,analysis,transformationand specialization, as well as semantics and systems.
Front Matter....Pages -
Specifying Compositional Units for Correct Program Development in Computational Logic....Pages 1-29
Synthesis of Programs in Computational Logic....Pages 30-65
Developing Logic Programs from Specifications Using Stepwise Refinement....Pages 66-89
Declarative Semantics of Input Consuming Logic Programs....Pages 90-114
On the Semantics of Logic Program Composition....Pages 115-151
Analysing Logic Programs by Reasoning Backwards....Pages 152-188
Binding-Time Analysis for Mercury....Pages 189-232
A Generic Framework for Context-Sensitive Analysis of Modular Programs....Pages 233-260
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems....Pages 261-290
Transformation Rules for Locally Stratified Constraint Logic Programs....Pages 291-339
Specialising Interpreters Using Offline Partial Deduction....Pages 340-375
Characterisations of Termination in Logic Programming....Pages 376-431
On the Inference of Natural Level Mappings....Pages 432-452
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach....Pages 453-498
Herbrand Constraints in HAL....Pages 499-538
Back Matter....Pages -