Compiling Natural Semantics - Lecture Notes in Computer Science - Mikael Pettersson - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540659686 - May 5, 1999
In case cover and title do not match, the title is correct

Mikael Pettersson
Compiling Natural Semantics - Lecture Notes in Computer Science

Price
S$ 71.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 15 - 25

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 5, 1999
ISBN13 9783540659686
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 246
Dimensions 156 × 234 × 14 mm   ·   371 g
Language German  
Editor Pettersson, Mikael

More by Mikael Pettersson

Show all

Mere med samme udgiver

See all of Mikael Pettersson ( e.g. Paperback Book )