Compiler Construction Using LOTOS NT

  • Hubert Garavel
  • Frédéric Lang
  • Radu Mateescu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2304)


Much academic and industrial effort has been invested in compiler construction. Numerous tools and environments1 have been developed to improve compiler quality while reducing implementation and maintenance costs.


Smart Card Label System Transition Functional Language Attribute Grammar Parser Generator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    I. Attali, C. Courbis, P. Degenne, A. Fau, D. Parigot, and C. Pasquier. SmartTools: A Generator of Interactive Environments Tools. In Proc. of CC’ 2001, volume 2027 of LNCS, 2001.Google Scholar
  2. 2.
    P. Borras, D. Clément, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Proc. of SIGSOFT’88, 3rd Symposium on Software Development Environments (SDE3), 1988.Google Scholar
  3. 3.
    P. Boullier and P. Deschamp. Le système SYNTAX: Manuel d’utilisation et de mise en œuvre sous Unix., 1997.
  4. 4.
    B. Carpenter. The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science, 32, 1992.Google Scholar
  5. 5.
    J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP (CÆSAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In Proc. of CAV’ 96, volume 1102 of LNCS, 1996.Google Scholar
  6. 6.
    H. Garavel. Compilation of LOTOS Abstract Data Types. In Proc. of FORTE’89. North-Holland, 1989.Google Scholar
  7. 7.
    H. Garavel and F. Lang. SVL: A Scripting Language for Compositional Verification. In Proc. of FORTE’2001. Kluwer, 2001. INRIA Research Report RR-4223.Google Scholar
  8. 8.
    H. Garavel and J. Sifakis. Compilation and Verification of LOTOS Specifications. In Proc. of PSTV’90. North-Holland, 1990.Google Scholar
  9. 9.
    H. Garavel and M. Sighireanu. Towards a Second Generation of Formal Description Techniques-Rationale for the Design of E-LOTOS. In Proc. of FMICS’98, Amsterdam, 1998. CWI. Invited lecture.Google Scholar
  10. 10.
    ISO/IEC. LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, 1988.Google Scholar
  11. 11.
    ISO/IEC. Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001, 2001.Google Scholar
  12. 12.
    M. Jourdan, D. Parigot, C. Julié, O. Durin, and C. Le Bellec. Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. ACM SIGPLAN Notices, 25(6), 1990.Google Scholar
  13. 13.
    R. Mateescu and H. Garavel. XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. In Proc. of STTT’ 98. BRICS, 1998.Google Scholar
  14. 14.
    R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. In Proc. of FMICS’2000, 2000. INRIA Research Report RR-3899. To appear in Science of Computer Programming.Google Scholar
  15. 15.
    F. W. Schröer. The GENTLE Compiler Construction System. R. Oldenbourg Verlag, 1997.Google Scholar
  16. 16.
    M. Sighireanu. LOTOS NT User’s Manual (Version 2.1). INRIA projet VASY., November 2000.
  17. 17.
    M. G. J. van den Brand, A. van Deursen, J. Heering, H. A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, J. Scheerder, J. J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: A Component-Based Language Development Environment. In Proc. of CC’ 2001, volume 2027 of LNCS, 2001.Google Scholar
  18. 18.
    P. van Eijk, A. Belinfante, H. Eertink, and H. Alblas. The Term Processor Generator Kimwitu. In Proc. of TACAS’ 97, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Hubert Garavel
    • 1
  • Frédéric Lang
    • 1
  • Radu Mateescu
    • 1
  1. 1.Inria Rhône-Alpes — VasyMontbonnotFrance

Personalised recommendations