Logic Program Synthesis and Transformation, Maurizio Proietti

Автор: Danny De Schreye
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642125913 ISBN-13(EAN): 9783642125911
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security.

Автор: Manuel V Hermenegildo; Pedro Lopez-Garcia
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319631381 ISBN-13(EAN): 9783319631387
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Partial Evaluation of Order-sorted Equational Programs modulo Axioms.- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.- Verification of Time-Aware Business Processes using Constrained Horn Clauses.- MiniZinc with Strings.- Slicing Concurrent Constraint Programs.- A New Functional-Logic Compiler for Curry: Sprite.- lpopt: A Rule Optimization Tool for Answer Set Programming.- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.- A Productivity Checker for Logic Programming.- Symbolic Abstract Contract Synthesis in a Rewriting Framework.- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs.- CurryCheck: Checking Properties of Curry Programs.- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.- A Reversible Semantics for Erlang.- Scaling Bounded Model Checking By Transforming Programs With Arrays.- Coinductive Soundness of Corecursive Type Class Resolution.- Nominal Unification of Higher Order Expressions with Recursive Let.- Automata Theory Approach to Predicate Intuitionistic Logic.

Автор: Laurent Fribourg; Franco Turini
Название: Logic Program Synthesis and Transformation - Meta-Programming in Logic
ISBN: 3540587926 ISBN-13(EAN): 9783540587927
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the joint proceedings of the 4th International Workshop on Logical Program Synthesis and Transformation, and the 4th Workshop on Meta-Programming, held in Pisa, Italy in June 1994.

Автор: John Gallagher
Название: Logic Program Synthesis and Transformation
ISBN: 3540627189 ISBN-13(EAN): 9783540627180
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constituting the proceedings of a workshop on logic program synthesis and transformation held on board a ship sailing from Stockholm to Helsinki in August 1996, the 17 papers cover topics such as synthesis of programs from specifications, transformation, specialization and analysis of programs.

Автор: Pierre Flener
Название: Logic Program Synthesis from Incomplete Information
ISBN: 0792395328 ISBN-13(EAN): 9780792395324
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes an approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, this book is useful for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.

Автор: Juan de Lara; Detlef Plump
Название: Graph Transformation
ISBN: 331961469X ISBN-13(EAN): 9783319614694
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions.

Автор: Esther Guerra; Mark van den Brand
Название: Theory and Practice of Model Transformation
ISBN: 331961472X ISBN-13(EAN): 9783319614724
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions.

Автор: Rozenberg Grzegorz
Название: Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations
ISBN: 9810228848 ISBN-13(EAN): 9789810228842
Издательство: World Scientific Publishing
Рейтинг:
Цена: 190080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This first volume includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures.

Автор: Helmut A. Partsch
Название: Specification and Transformation of Programs
ISBN: 3540525890 ISBN-13(EAN): 9783540525899
Издательство: Springer
Рейтинг:
Цена: 62410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introductory textbook on formal specification and transformational programming as an approach to software development.

Автор: Oliver Schliebusch; Heinrich Meyr; Rainer Leupers
Название: Optimized ASIP Synthesis from Architecture Description Language Models
ISBN: 9048174287 ISBN-13(EAN): 9789048174287
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific processor (ASIP). This book offers an automated and fully integrated implementation flow and compares it to common implementation practice.

Автор: Paul Craven
Название: Program Arcade Games
ISBN: 1484217896 ISBN-13(EAN): 9781484217894
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 0. Before getting started...1. Create a Custom Calculator2. What is a Computer Language?3. Quiz Games and If Statements4. Guessing Games with Random Numbers and Loops5. Introduction to Graphics6. Back to Looping7. Introduction to Lists8. Introduction to Animation9. Functions10. Controllers and Graphics11. Bitmapped Graphics and Sound12. Introduction to Classes13. Introduction to Sprites14. Libraries and Modules15. Searching16. Array-Backed Grids17. Sorting18. Exceptions19. Recursion20. Formatting21. Labs22. Appendix A. Example code and programs23. Appendix B: Sample Tests24. Appendix C: Worksheets25. Appendix D: Version Control26. Appendix E: Wait, What Else Can We Do?