Logic-Based Program Synthesis and Transformation, Maurizio Proietti; Hirohisa Seki
Автор: Albert Elvira Название: Logic-based Program Synthesis and Transformation ISBN: 3642381960 ISBN-13(EAN): 9783642381966 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: This book discusses Moore finite state machines (FSMs) implemented with field programmable gate arrays (FPGAs) including look-up table (LUT) elements and embedded memory blocks (EMBs).
Автор: Miquel Bertran; Teodor Rus Название: Transformation-Based Reactive Systems Development ISBN: 3540630104 ISBN-13(EAN): 9783540630104 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presented in this book are 24 papers selected from those given at an international conference on real-time systems and concurrent and distributed software. Issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Автор: 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.
Автор: Gopal Gupta; Ricardo Pe?a Название: Logic-Based Program Synthesis and Transformation ISBN: 3319141244 ISBN-13(EAN): 9783319141244 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
Автор: Kung-Kiu Lau Название: Logic Based Program Synthesis and Transformation ISBN: 3540421270 ISBN-13(EAN): 9783540421276 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
Автор: Kung-Kiu Lau; Timothy P. Clement Название: Logic Program Synthesis and Transformation ISBN: 3540198067 ISBN-13(EAN): 9783540198062 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sponsored by the Association for Logic Programming and ALPUK
Автор: 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.
Автор: 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
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
