Compiling Natural Semantics - Lecture Notes in Computer Science - Mikael Pettersson - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540659686 - keskiviikko 5. toukokuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Compiling Natural Semantics - Lecture Notes in Computer Science

Hinta
€ 64,49

Tilattu etävarastosta

Arvioitu toimitus pe 28. elo - pe 11. syys
Saat ilmoituksen artistin Mikael Pettersson uusista julkaisuista
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 5. toukokuuta 1999
ISBN13 9783540659686
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 246
Mitta 156 × 234 × 14 mm   ·   371 g
Kieli Saksa  
Toimittaja Pettersson, Mikael

Lisää tuotteita Mikael Pettersson

Näytä kaikki

Lisää samalta julkaisijalta