PostScript
Compiler Construction using LOTOS NT
Hubert Garavel, Frédéric Lang, Radu Mateescu
Proceedings of the International Conference on Compiler Construction CC'2002
(Grenoble, France), April 2002
Abstract:
In this paper we present a new technology for compiler generation based on the data part of LOTOS NT, a specification language for protocols and distributed systems. We used this technology for constructing three domain specific compilers included in the CADP verification toolbox.
| 5 pages | |
PostScript |
| Slides of F. Lang's lecture at CC'02 (updated by H. Garavel in 2003) | |
| Slides of F. Lang's lecture at ENS Paris in 2023 | |