RML -- A New Language and Implementation for Natural Semantics (1994)
Cached
Download Links
- [ftp.ida.liu.se]
- [ftp.ida.liu.se]
- [www.ida.liu.se]
- DBLP
Other Repositories/Bibliography
| Venue: | PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS |
| Citations: | 15 - 2 self |
BibTeX
@INPROCEEDINGS{Pettersson94rml--,
author = {Mikael Pettersson},
title = {RML -- A New Language and Implementation for Natural Semantics},
booktitle = {PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS},
year = {1994},
pages = {117--131},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
RML is a programming language intended for the implementation of Natural Semantics specifications. The basic procedural elements are relations: many-to-many mappings defined by a number of axioms or inference rules. It has control flow, logical variables and (explicit) unification as in Prolog; from ML it borrows a polymorphic type system, data structures, and pattern matching; a facility for separatelycompilable modules also exists. A simple prototype compiler, based on translating RML to Continuation-Passing Style and then to C, has been implemented. Benchmarks indicate that this compiler generates code that is several orders of magnitude faster than Typol, and two times faster than standard Prolog compilers.
