There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Compiling Natural Semantics

By Mikael Pettersson (Editor)
Paperback
$54.99
By Mikael Pettersson (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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, ac...

Categories

ComputersComputer ProgrammingProgramming - General & Miscellaneous