Manuel V Hermenegildo; Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation 9783319631387

Варианты приобретения

Цена: 60550.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 247 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Manuel V Hermenegildo; Pedro Lopez-Garcia
Название: Logic-Based Program Synthesis and Transformation
ISBN: 9783319631387
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

Алгоритмы и структуры данных

Компиляторы

Технология разработки программного обеспечения

Математическая теория вычислений

ISBN-10: 3319631381
Обложка/Формат: Paperback
Страницы: 361
Вес: 0.58 кг.
Дата издания: 25.07.2017
Серия: Theoretical Computer Science and General Issues
Язык: English
Издание: 1st ed. 2017
Иллюстрации: 75 illustrations, black and white; xvi, 361 p. 75 illus.
Размер: 234 x 156 x 20
Читательская аудитория: Postgraduate, research & scholarly
Основная тема: Computer Science
Подзаголовок: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

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.

Logic-Based Program Synthesis and Transformation, Manuel V Hermenegildo; Pedro Lopez-Garcia