Compiling natural semantics
Auteur :
Pettersson, Mikael
ISBN :
9783540659686
Date de publication :
5 mai 1999
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
375 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.