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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. Barberye, T. Joubert, M. Martin: “Manuel d'utilisation du Prolog-CNET”. Note technique NT/PAA/CLC/LSC/1058, CNET, France, Sept. 1983.
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–140
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.
A. Colmerauer: “Les grammaires of métamorphoses”. Rapport de recherche, GIA, Univ. Marseille-Luminy, France, Nov. 1975.
JP. Courtiat, P. Dembinski, R. Groz, C. Jard: “Estelle, un langage ISO pour les algorithmes distribués et les protocoles”, TSI, March 1987.
P. Deransart, J. Maluszynski: “Relating Logic Programs and Attribute Grammars”. J. of Logic Programming, 1985, 2 pp 119–155. INRIA, RR 323,Avril 1985.
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.
Garetta: “Un compilateur de Modula-2 écrit en Prolog” (?) thèse de troisième cycle, Université de Marseille, 1986 (?)
R.Hayter: “Edison in Prolog'. Logic Programming Newsletter, winter 83–84, p 11.
ISO/TC97/SC21/WG16-1 DP9074: “Estelle: a Formal Description Technique based on an Extended State Transition Model”. Sept. 1986.
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.
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.
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.
LS. Levy: “A Meta-programming Method and its Economic Justification”. IEEE trans. on Software Engineering, Vol 12, Nu 2, Feb. 1986, pp 272–277.
JF. Monin: “Ecriture d'un compiler réel en Prolog”. Journées sur la programmation en logique, Plestin, France, Avril 1984, Cnet ed.
JF. Monin: “Véda” Thèse de doctorat of l'université de Rennes I, 1988.
M.Simonet: “W Grammaires et logique du premier ordre pour la définition and l'implantation des languages”. thèse d'état, Grenoble, 1981.
D.H.D. Warren: “Logic Programming and Compiler Writing”. Software, Practice and Experience, Vol 10, pp 97–125, 1980.
D.A. Watt: “An Extended Attribute Grammar for Pascal”. SIGPLAN Notice, Vol 14, Nu 2, pp 60–74.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Monin, JF. (1989). A compiler written in prolog: the véda experience. In: Deransart, P., Lorho, B., Małuszyński, J. (eds) Programming Languages Implementation and Logic Programming. PLILP 1988. Lecture Notes in Computer Science, vol 348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50820-1_44
Download citation
DOI: https://doi.org/10.1007/3-540-50820-1_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50820-5
Online ISBN: 978-3-540-46092-3
eBook Packages: Springer Book Archive