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.

5 pages


Slides of F. Lang's lecture at CC'02 (updated by H. Garavel in 2003)