Contatto
Come acquistare
Consegna
Guida all'acquisto
Compiling Natural Semantics
Inglese
132 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
9.79
€
/
In brossura
33.09
€
/
In brossura
21.89
€
/
Rigido
45.69
€
Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. §This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.
Informazioni sul libro
Inglese
Categorie
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
22.39
€
/
In brossura
47.29
€
/
In brossura
12.99
€
/
In brossura
18.99
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?