Logic Program Synthesis and Transformation, Kung-Kiu Lau; Timothy P. Clement

Автор: Holger Giese; Barbara K?nig
Название: Graph Transformation
ISBN: 3319091077 ISBN-13(EAN): 9783319091075
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Автор: Danny De Schreye
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642125913 ISBN-13(EAN): 9783642125911
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Maurizio Proietti; Hirohisa Seki
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319178210 ISBN-13(EAN): 9783319178219
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Yves Deville
Название: Logic Program Synthesis and Transformation
ISBN: 3540198644 ISBN-13(EAN): 9783540198642
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas.

Автор: Berthold Hoffmann; Bernd Krieg-Br?ckner
Название: Program Development by Specification and Transformation
ISBN: 354056733X ISBN-13(EAN): 9783540567332
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.

Автор: F.L. Bauer; Peter Pepper; H. Remus
Название: Program Transformation and Programming Environments
ISBN: 3642464920 ISBN-13(EAN): 9783642464928
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Автор: Krzysztof Krawiec
Название: Behavioral Program Synthesis with Genetic Programming
ISBN: 3319275631 ISBN-13(EAN): 9783319275635
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This `evaluation bottleneck` leaves search algorithm underinformed about the actual and potential qualities of candidate programs. This book proposes behavioral program synthesis, a conceptual framework that opens GP to detailed information on program behavior in order to make program synthesis more efficient.

Автор: Alexander Maedche; Jan vom Brocke; Alan Hevner
Название: Designing the Digital Transformation
ISBN: 3319591436 ISBN-13(EAN): 9783319591438
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany. The contributions are organized in topical sections named: DSR in business process management; DSR in data science and business analytics;

Автор: Echahed
Название: Graph Transformation
ISBN: 3319405292 ISBN-13(EAN): 9783319405292
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Esther Guerra; Mark van den Brand
Название: Theory and Practice of Model Transformation
ISBN: 331961472X ISBN-13(EAN): 9783319614724
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.