Compiling Natural Semantics - Lecture Notes in Computer Science - Mikael Pettersson - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540659686 - 5 mai 1999
Si la couverture et le titre ne correspondent pas, le titre est correct.

Compiling Natural Semantics - Lecture Notes in Computer Science

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 24 sept. - 2 oct.
Recevez une notification pour les nouvelles sorties de Mikael Pettersson
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 5 mai 1999
ISBN13 9783540659686
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 246
Dimensions 156 × 234 × 14 mm   ·   371 g
Langue et grammaire Allemand  
Éditeur Pettersson, Mikael

Plus par Mikael Pettersson

Afficher tout

Plus d'ouvrages du même éditeur