Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Reflection in Rewriting Logic

Name: Reflection in Rewriting Logic
Brand: Centre for the Study of Language & Information
SKU: 04821025
Price: 36.33 EUR
Availability: PreOrder
Author: Manuel Clavel
ISBN: 9781575862385

Metalogical Foundations and Metaprogramming Applications

Manuel Clavel

Език

Английски език

Книга С меки корици

Код Либристо: 04821025

Издателство Centre for the Study of Language & Information, юни 2000

Clavel's book proposes a general theory of reflective logics and reflective declarative programming... Цялото описание

Код Либристо: 04821025

88 b

Подготвяме

36.33 €

71.06 лв

Очаква се допечатка

Срокът не е известен

До 30 дни за връщане на стоки

Клиентите са закупили също

MINIX TV Series: Stranger Things - Max #181 Игра/играчка

Играчка

14.70 € 28.74 лв

Hôtel Carthagène Buchholz

С меки корици

26.24 € 51.32 лв

Musik, 2. Klasse Dagmar Kuhlmann

Аудио компактдиск

21.94 € 42.92 лв

Clavel's book proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging the extent to which a computational system is reflective. Applying this general framework, Clavel makes an in depth study of reflection in rewriting logic. This book presents examples of the powerful potential for reflective programming in a number of novel computer applications. Clavel proposes axiomatic notions for reflective logics and reflective declarative programming languages. The key concept is the notion of a 'universal theory' that can simulate the deductions of all other theories in a logic. These applications are developed using the Maude language, a reflective programming language and environment that implements rewriting logic and supports its reflective capabilities. These examples demonstrate the power of Maude to define and execute mappings of logics, and to represent and execute different languages and models of computation.