Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 5 de mayo de 1999 |
| ISBN13 | 9783540659686 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 246 |
| Dimensiones | 156 × 234 × 14 mm · 371 g |
| Lengua | Alemán |
| Editor | Pettersson, Mikael |
Mas por Mikael Pettersson
Mostrar todoMere med samme udgiver
Ver todo de Mikael Pettersson ( Ej. Paperback Book )