|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
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 | |