Rewriting Techniques and Applications, Aart Middeldorp

Автор: Paliath Narendran; Michael Rusinowitch
Название: Rewriting Techniques and Applications
ISBN: 3540662014 ISBN-13(EAN): 9783540662013
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume covers the 10th International Conference on Rewriting Techniques and Applications held in July 1999. It includes such topics as constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting and string rewriting.

Автор: Walid Taha
Название: Semantics, Applications, and Implementation of Program Generation
ISBN: 3540410546 ISBN-13(EAN): 9783540410546
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume cover topics such as multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

Автор: Farid M. Ablaev; Ernst Mayr
Название: Computer Science -- Theory and Applications
ISBN: 3642131816 ISBN-13(EAN): 9783642131813
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010.