"Compiling Natural Semantics" - Information and Links:

Compiling Natural Semantics - Info and Reading Options

Book's cover
The cover of “Compiling Natural Semantics” - Open Library.

"Compiling Natural Semantics" is published by Springer in June 11, 1999, it has 240 pages and the language of the book is English.


“Compiling Natural Semantics” Metadata:

  • Title: Compiling Natural Semantics
  • Author:
  • Language: English
  • Number of Pages: 240
  • Publisher: Springer
  • Publish Date:

“Compiling Natural Semantics” Subjects and Themes:

Edition Specifications:

  • Format: Paperback
  • Weight: 11.8 ounces
  • Dimensions: 9.2 x 6.2 x 0.5 inches

Edition Identifiers:

AI-generated Review of “Compiling Natural Semantics”:


"Compiling Natural Semantics" Description:

The Open Library:

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, to highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rm12c compiler. This compiler finally produces low-level C code. Benchmarking results show that rm12c-produced code is much faster than code resulting from compilers based on alternative implementation approaches. Thus, the hope is supported that the introduced compilation strategy is suitable for a significant class of formal specifications.

Read “Compiling Natural Semantics”:

Read “Compiling Natural Semantics” by choosing from the options below.

Search for “Compiling Natural Semantics” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Compiling Natural Semantics” in Libraries Near You:

Read or borrow “Compiling Natural Semantics” from your local library.

Buy “Compiling Natural Semantics” online:

Shop for “Compiling Natural Semantics” on popular online marketplaces.