Povej prijatelju o tem izdelku:
Compiling Natural Semantics - Lecture Notes in Computer Science Mikael Pettersson
Compiling Natural Semantics - Lecture Notes in Computer Science
Mikael Pettersson
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 5. maja 1999 |
| ISBN13 | 9783540659686 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 246 |
| Dimenzije | 156 × 234 × 14 mm · 371 g |
| Jezik | Nemščina |
| Urednik | Pettersson, Mikael |
Več od Mikael Pettersson
Prikaži vseMere med samme udgiver
Ogled vseh Mikael Pettersson ( Na primer Paperback Book )