A semantic evaluator generating system in prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 348 LNCS, Issue , 1989, Pages 201-218

  Henriques, Pedro Rangel ^a  

^a UNIVERSITY OF MINHO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; CONTEXT SENSITIVE GRAMMARS; LOGIC PROGRAMMING; SEMANTICS;

ATTRIBUTE GRAMMARS; ATTRIBUTE-BASED; ERROR HANDLING; GENERATING SYSTEM; LOCAL CORRECTIONS; NON-CIRCULAR; PROLOG PROGRAMS; RECURSIVE ALGORITHMS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 85031315148     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-50820-1_49     Document Type: Conference Paper

References (20)

1. Harvey Abram_son. Definite clause translation grammars. In Proc.8. - Int. Syrup. on Logic Programming, Atlantic City, pages 233-240, IEEE, 1984. (University of British Columbia).
2. Bijan A. Compiling circular attribute grammars into prolog. Journal of Research and Development, 30(3):294-309, May 1986.
3. Aho, Sethi, and Ulman. Compiler Principles Techniques and Tools. Addison-Wesley, 1986.
4. Pierre Boullier. Contribution à la Construction Automatique d’Analyseur Lezicographiques et Syntaxiques. PhD thesis, Université d’Orleans, 1984.
5. B. Courcelle and P. Deransart. Proofs for Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming. Technical Report L8702, Univ. de Bordeaux I, U.E.R. de Mathdmatiques et Informatiques, January 1987.
6. B. Courcelle and P. Franchi-Zannettacci. Attribute grammars and recursive program schemes. Theoretical Computer Science, 17:163-191 and 235-257, 1982.
7. P. Deransart and G. Ferrand. Initiation a Prolog: Concepts de Base. Support de Cours 86-2, Universitd d’Orleans, Dep. de Mathématiques et Informatique, June 1986.
8. P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part III Classified Bibliography. Rapport de Recherche 417, INRIA, Rocquencourt, January 1985.
9. P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part I Main Results. Rapport de Recherche 485, INRIA, Rocquencourt, January 1986.
10. P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part H Review of Ezisting Systems. Rapport de Recherche 510, INRIA, Rocquencourt, January 1986.
11. P. Deransart and J. Maluszynski. Relating Logic Programs and Attribute Grammars. Rapport de Recherche 393, INRIA, Rocquencourt, April 1985.
12. Martin Jourdan. An Efficient Recursive Evaluator for Strongly Non-Circular Attribute Grammars. Rapport de Recherche 235, INRIA, Rocquencourt, October 1983.
13. Martin Jourdan. Evaluation Rgcnrsive des Grammaires Attribuges: Deux Implantations. Rapport de Recherche 409, INRIA, Rocquencourt, May 1985.
14. Donald E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127-145, 1968.
15. Y. Matsumoto, H. Tanaka, and H. Hirakawa et al. BUP: a bottom-up parser embedded in prolog. New Generation Computing, 1, 1983.
16. U. Nilsson. AID: an alternative implementation of DCGs. 1986. Dep. of Computer and Information Science, Linköping University (draft version).
17. F. C. N. Pereira and D. H. D. Warren. Definite clause grammars for language analysis: a survey of the formalism and comparison with augmented transistion networks. Artificial Intelligence, 13(3):231-278, 1980.
18. K. J. Räihä. Bibliography on attribute grammars. SIGPLAN Notices, 15(3):35-44, 1980.
19. Kuniaki Uehara, R. Ochitani, and O. Kakusho et al. A bottom-up parser based on predicate logic: a survey of the formalism and its implementation techique. In Proc.84 - Int. Syrup. on Logic Programming, Atlantic City, pages 220-227, IEEE, 1984. (Osaka University).
20. William Waite and Gerhard Coos. Compiler Construction. Texts and Monographs in Computer Science, Springer-Verlag, 1984.