Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Reflection in Rewriting Logic

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

Metalogical Foundations and Metaprogramming Applications

Manuel Clavel

Sprache

Englisch

Buch Broschur

Libristo-Code: 04821025

Verlag Centre for the Study of Language & Information, Juni 2000

Clavel's book proposes a general theory of reflective logics and reflective declarative programming... Vollständige Beschreibung

Libristo-Code: 04821025

84 b

Demnächst

34.49 €

Erwarteter Nachdruck

Termin unbekannt

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

MINIX TV Series: Stranger Things - Max #181 Spiel/Spielzeug

Spielzeug

11.59 €

Hôtel Carthagène Buchholz

Broschur

25.11 €

Musik, 2. Klasse Dagmar Kuhlmann

Audio CD

20.67 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Reflection in Rewriting Logic

Autor Manuel Clavel

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2000

Anzahl der Seiten 192

EAN 9781575862385

ISBN 1575862387

Libristo-Code 04821025

Verlag Centre for the Study of Language & Information

Gewicht 293

Abmessungen 152 x 228 x 16

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert