Rewriting Techniques and Applications, Paliath Narendran; Michael Rusinowitch

Автор: Aart Middeldorp
Название: Rewriting Techniques and Applications
ISBN: 3540421173 ISBN-13(EAN): 9783540421177
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, The Netherlands, 2001. The 23 full papers and two system descriptions address contemporary aspects of 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.