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
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.
|Slides of F. Lang's lecture at CC'02 (updated by H. Garavel in 2003)|