Authors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1549)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Back Matter
About this book
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, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.
Authors and Affiliations
-
Computing Science Department, Uppsala University, Uppsala, Sweden
Mikael Pettersson
Bibliographic Information
Book Title: Compiling Natural Semantics
Authors: Mikael Pettersson
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b71652
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1999
Softcover ISBN: 978-3-540-65968-6Published: 05 May 1999
eBook ISBN: 978-3-540-48823-1Published: 20 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 246
Topics: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Logics and Meanings of Programs