عنوان
پدید آورنده
موضوع
رده
QA76.63
QA76
.
63
کتابخانه
محل استقرار
شابک
شابک
3030138372
شابک
3030138380
شابک
9783030138370
شابک
9783030138387
شابک اشتباه
9783030138370
عنوان و نام پديدآور
عنوان اصلي
Logic-based program synthesis and transformation :
نام عام مواد
[Book]
ساير اطلاعات عنواني
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers /
نام نخستين پديدآور
Fred Mesnard, Peter J. Stuckey (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xx, 203 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11408
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Intro; Preface; Organization; Abstracts of Invited Talks; Formal Methods for JavaScript; Constrained Horn Clauses for Verification; Experiences in Designing Scalable Static Analyses; Abstracts of Invited Tutorials; The VeriMAP System for Program Transformation and Verification; 25 Years of Ciao; Contents; Analysis of Term Rewriting; Proving Program Properties as First-Order Satisfiability; 1 Introduction; 2 Many-Sorted First-Order Logic; 3 Preservation of Many-Sorted First-Order Sentences; 4 Surjective Homomorphisms; 5 Examples of Application with Positive Sentences
متن يادداشت
1 Introduction1.1 Related Work; 1.2 Contributions; 1.3 Overview; 2 Basic Concepts, Confluence, Invariants and Equivalences; 3 Abstract Simulation; 4 Constraint Handling Rules; 4.1 Syntax; 4.2 The Logic-Based Operational Semantics for CHR; 5 Confluence Under the Logic-Based Semantics Re-Explained, and Why Invariants Are Difficult; 6 Invariants and Modulo Equivalence; 6.1 The Choice of a Ground Representation; 7 Conclusion; References; Analysis of Logic Programming; Compiling Control as Offline Partial Deduction; 1 Introduction; 2 Preliminaries; 3 Running Example: Permutation Sort
متن يادداشت
3 Homeomorphic Embedding Modulo Equational Axioms4 Goal-Driven Homeomorphic Embedding Modulo B; 4.1 An Homeomorphic Embedding Calculus Modulo B; 4.2 Reachability-Based, Goal-Driven Homeomorphic Embedding Formulation; 5 Meta-Level Deterministic Goal-Driven Homeomorphic Embedding Modulo B; 6 Experiments; 7 Concluding Remarks; References; Logic-Based Distributed/Concurrent Programming; Multiparty Classical Choreographies; 1 Introduction; 2 Preview; 3 GCP with Hypersequents; 4 Extending GCP with Choreographies; 5 Projection and Extraction; 6 Related Work and Discussion; References
متن يادداشت
5.1 Complete Definedness and Commutativity5.2 Top-Termination; 6 Refutation Witnesses; 7 Example of Application with General Sentences; 8 Related Work; 9 Conclusions and Future Work; References; Guided Unfoldings for Finding Loops in Standard Term Rewriting; 1 Introduction; 2 Preliminaries; 3 Guided Unfoldings; 4 Inferring Terms that Loop; 5 Further Comparisons with the Approach of payet08; 6 Experiments; 7 Conclusion; References; Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms; 1 Introduction; 2 Preliminaries; 2.1 Pure Homeomorphic Embedding
متن يادداشت
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference1 Introduction; 2 Background; 2.1 Classical Linear Logic; 2.2 Related Work; 3 Process Specification; 4 Process Composition; 5 Auxiliary Processes; 6 Parallel Composition -- The TENSOR Action; 7 Conditional Composition -- The WITH Action; 8 Sequential Composition -- The JOIN Action; 8.1 Atomic or Matching Output; 8.2 Parallel Output; 8.3 Optional Output; 8.4 Putting It All Together; 9 Conclusion; References; Confluence of CHR Revisited: Invariants and Modulo Equivalence
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030138387
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
LOPSTR 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer logic, Congresses.
موضوع مستند نشده
Computer software-- Development, Congresses.
موضوع مستند نشده
Logic programming, Congresses.
موضوع مستند نشده
Computer logic.
موضوع مستند نشده
Computer software-- Development.
موضوع مستند نشده
Logic programming.
رده بندی ديویی
شماره
005
.
1/15
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
63
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Mesnard, Fred
مستند نام اشخاص تاييد نشده
Stuckey, Peter J.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
LOPSTR (Symposium)(28th :2018 :, Frankfurt am Main, Germany)
مبدا اصلی
تاريخ عمليات
20200823083404.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
