Logic-Based Program Synthesis and Transformation, Pierre Flener

Автор: Maurizio Proietti; Hirohisa Seki
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319178210 ISBN-13(EAN): 9783319178219
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Автор: Gopal Gupta; Ricardo Pe?a
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319141244 ISBN-13(EAN): 9783319141244
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.

Автор: 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.

Автор: 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.

Автор: Francesco Parisi-Presicce; Bernhard Westfechtel
Название: Graph Transformation
ISBN: 3319211447 ISBN-13(EAN): 9783319211442
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L`Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. applications: technical papers, and tool presentations.

Автор: Holger Giese; Barbara K?nig
Название: Graph Transformation
ISBN: 3319091077 ISBN-13(EAN): 9783319091075
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions.

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319373838 ISBN-13(EAN): 9783319373836
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319234781 ISBN-13(EAN): 9783319234786
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.

Автор: Echahed
Название: Graph Transformation
ISBN: 3319405292 ISBN-13(EAN): 9783319405292
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016.

Автор: 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.

Автор: Evangelos Triantaphyllou
Название: Data Mining and Knowledge Discovery via Logic-Based Methods
ISBN: 1461426138 ISBN-13(EAN): 9781461426134
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book uses a novel method to study a series of interconnected key data mining and knowledge discovery problems in depth and in a way that stimulates the quest for more knowledge. It also presents a collection of examples, many from real-life applications.

Автор: Evangelos Triantaphyllou
Название: Data Mining and Knowledge Discovery via Logic-Based Methods
ISBN: 1441916296 ISBN-13(EAN): 9781441916297
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book uses a novel method to study a series of interconnected key data mining and knowledge discovery problems in depth and in a way that stimulates the quest for more knowledge. It also presents a collection of examples, many from real-life applications.