Advertisement

A compiler written in prolog: the véda experience

  • Jean-François Monin
Logic Programming In Compiler Writing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 348)

Abstract

We present our experience in developing a system called Véda in which Prolog was used for writing a real-size compiler. We give the main techniques used for increasing the performances of the compiler up to a usable level, and for keeping some flexibility to Véda. Finally we give a few hints about performances.

Keywords

Variable Part Derivation Tree Demarcation Line Prolog Program Lexical Analysis 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Barberye 83]
    G. Barberye, T. Joubert, M. Martin: “Manuel d'utilisation du Prolog-CNET”. Note technique NT/PAA/CLC/LSC/1058, CNET, France, Sept. 1983.Google Scholar
  2. [Barrielle 87]
    E. Barrielle, JF. Monin: “Est-ce que Prolog sait lire?” Actes du seminaire programmation en logique de Trégastel, 19–21 mai 1987, pp 131–140Google Scholar
  3. [Bekkers 86]
    Y. Bekkers, B. Canet, O. Ridoux, L. Ungaro: “A Memory Management Machine for Prolog Interpreters”. Proc. of the 3rd Symposium on Logic Programming, IEEE, sept. 1986, Salt-Lake City, USA.Google Scholar
  4. [Colmerauer 75]
    A. Colmerauer: “Les grammaires of métamorphoses”. Rapport de recherche, GIA, Univ. Marseille-Luminy, France, Nov. 1975.Google Scholar
  5. [Courtiat 87]
    JP. Courtiat, P. Dembinski, R. Groz, C. Jard: “Estelle, un langage ISO pour les algorithmes distribués et les protocoles”, TSI, March 1987.Google Scholar
  6. [Deransart 85]
    P. Deransart, J. Maluszynski: “Relating Logic Programs and Attribute Grammars”. J. of Logic Programming, 1985, 2 pp 119–155. INRIA, RR 323,Avril 1985.Google Scholar
  7. [Dinsenmeyer 87]
    I.Dinsenmeyer, O.Louvet, R. Groz: “Utilisation de techniques of description formelle (TDF) pour la spécification de logiciels de commutation”. Annales des télécommunications, tome 42, num. 7–8, pp 448–460, juillet 1987.Google Scholar
  8. [Garetta 86]
    Garetta: “Un compilateur de Modula-2 écrit en Prolog” (?) thèse de troisième cycle, Université de Marseille, 1986 (?)Google Scholar
  9. [Hayter 83]
    R.Hayter: “Edison in Prolog'. Logic Programming Newsletter, winter 83–84, p 11.Google Scholar
  10. [ISO 86a]
    ISO/TC97/SC21/WG16-1 DP9074: “Estelle: a Formal Description Technique based on an Extended State Transition Model”. Sept. 1986.Google Scholar
  11. [Jard 85a]
    C. Jard, JF. Monin, R. Groz: “Experience in implementing X250 in Véda”. V IFIP WG6.1 workshop, Moissac, June 1985, France, North-Holland, M. Diaz ed.Google Scholar
  12. [Jard 85b]
    C. Jard, R. Groz, JF. Monin: “Véda: a Software Simulator for the Validation of Protocol Specifications”. COMNET'85, Budapest, Oct. 1985, published by North-Holland in Computer network usage: recent experiences, L. Csaba, K. Tarnay, T. Szentivanyi ed.Google Scholar
  13. [Jard 88]
    C. Jard, JF. Monin, R. Groz: “Development of Véda, a Prototyping Tool for Distributed Algorithms”. Special Issue of IEEE trans. on Software Engineering on Computer communication Systems, Vol 13, March 1988.Google Scholar
  14. [Levy 86]
    LS. Levy: “A Meta-programming Method and its Economic Justification”. IEEE trans. on Software Engineering, Vol 12, Nu 2, Feb. 1986, pp 272–277.Google Scholar
  15. [Monin 84]
    JF. Monin: “Ecriture d'un compiler réel en Prolog”. Journées sur la programmation en logique, Plestin, France, Avril 1984, Cnet ed.Google Scholar
  16. [Monin 88]
    JF. Monin: “Véda” Thèse de doctorat of l'université de Rennes I, 1988.Google Scholar
  17. [Simonet 81]
    M.Simonet: “W Grammaires et logique du premier ordre pour la définition and l'implantation des languages”. thèse d'état, Grenoble, 1981.Google Scholar
  18. [Warren 80]
    D.H.D. Warren: “Logic Programming and Compiler Writing”. Software, Practice and Experience, Vol 10, pp 97–125, 1980.Google Scholar
  19. [Watt 79]
    D.A. Watt: “An Extended Attribute Grammar for Pascal”. SIGPLAN Notice, Vol 14, Nu 2, pp 60–74.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Jean-François Monin
    • 1
  1. 1.CNET LAA-SLC-EVPLannion

Personalised recommendations