Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Reflection in Rewriting Logic

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

Metalogical Foundations and Metaprogramming Applications

Manuel Clavel

Limba

engleză

Carte Carte broșată

Codul Libristo: 04821025

Editura Centre for the Study of Language & Information, iunie 2000

Clavel's book proposes a general theory of reflective logics and reflective declarative programming... Descrierea completă

Codul Libristo: 04821025

84 b

Curând

181.43 lei

Retipărire preconizată

Termenul este necunoscut

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

MINIX TV Series: Stranger Things - Max #181 Joc / Jucărie

Jucărie

77.13 lei

Hôtel Carthagène Buchholz

Carte broșată

132.19 lei

Musik, 2. Klasse Dagmar Kuhlmann

Audio CD

114.91 lei

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.