Compiling Natural Semantics - Lecture Notes in Computer Science - Mikael Pettersson - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540659686 - 5. Mai 1999
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Compiling Natural Semantics - Lecture Notes in Computer Science

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 11. - 19. Nov
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von Mikael Pettersson erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

Introduces the meta-language RML as a practical tool for natural semantics specifications. This work examines the problem of compiling natural semantics into efficient code and thus develops a compilation strategy for RML, using the rml2c compiler to produce low-level, but fast-working C code.


246 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 5. Mai 1999
ISBN13 9783540659686
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 246
Maße 156 × 234 × 14 mm   ·   371 g
Sprache Deutsch  
Redakteur Pettersson, Mikael

Weitere Titel von Mikael Pettersson

Mehr vom selben Verlag