Can we transform logic programs into attribute grammars ?
Isakowitz, T.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991), p. 499-543 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1991-01-01
@article{ITA_1991__25_6_499_0,
     author = {Isakowitz, T.},
     title = {Can we transform logic programs into attribute grammars ?},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {25},
     year = {1991},
     pages = {499-543},
     mrnumber = {1145426},
     zbl = {0753.68027},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1991__25_6_499_0}
}

Isakowitz, T. Can we transform logic programs into attribute grammars ?. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) pp. 499-543. http://gdmltest.u-ga.fr/item/ITA_1991__25_6_499_0/

1. K. R. Apt and M. H. Van Emden, Contributions to the Theory of Logic Programming. J. Assoc. Comput, Mach., 1982, 29, (3), pp. 841-862. | MR 666781 | Zbl 0483.68004

2. I. Attali and P. Franchi-Zannettacci, Unification Free Execution of TYPOL programs by Semantic Attribute Evaluation. In R. A. KOWALSKI and K. A. BOWEN, Ed., Proceedings of the Fifth International Conference and Symposium on Logic Programming, 1988, pp. 160-177.

3. L. Chirica and D. Martin, An Order-Algebraic Definition of Knuthian Semantics, Math. Systems Theory, 1979, (13), pp. 1-27. | MR 548546 | Zbl 0397.68087

4. K. L. Clark, Predicate Logic as a Computational Formalism, Research Monograph 79/59, Imperial College, London, 1979.

5. W. F. Clocksin and C. S. Melish, Programming in Prolog, Springer-Verlag, 1984. | Zbl 0613.68010

6. B. Courcelle, Attribute Grammars: Theory and Applications. In Lecture Notes in Comput. Sci., 1981, pp. 75-95, Springer-Verlag. | MR 621865 | Zbl 0457.68090

7. B. Courcelle and P. Franchi-Zannettacci, Attribute Grammars and Recursive Program Schemes, Theoret. Comput. Sci., 1982, 17, (2), pp. 235-258. | Zbl 0481.68068

8. B. Courcelle and P. Deransart, Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming, Inform. and Comput., 1988, 78, (1), pp. 1-55. | MR 949297 | Zbl 0719.68038

9. P. Deransart and J. Maluszynski, Relating Logic Programms and Attribute Grammars, J. Logic Programming, 1985, 1, (2), pp. 119-225. | MR 798932 | Zbl 0586.68073

10. J. H. Gallier, An Efficient Evaluator for Attribute Grammars with Conditional Rules, Technical report, Computer and Information Sciences Department, University of Pennsylvania, Philadelphia, PA, 1985.

11. J. H. Gallier, Logic for Computer Science, Harper and Row, 1985. | Zbl 0605.03004

12. S. Gorn, Explicit Definitions and Linguistic Dominoes. In J. HART and S. TARKASU Eds., Systems and Computer Science, Hedonist Press, 1965. | MR 237245

13. T. Isakowutz, On the Relationship Between Logic Programs and Attribute Grammars, Master's thesis, C.I. S. Department, University of Pennsylvania, Philadelphia, PA 19104, December 1985.

14. D. Knuth, Semantics of Context Free Languages, Math. Systems Theory, 1968, 2, (2), pp. 127-145. | MR 1555478 | Zbl 0169.01401

15. R. A. Kowalski, Predicate Logic as a Programming Language. In J. ROSENFELD Ed., Inform. Process. Lett., 1974, 74, pp. 556-574, North-Holland. | Zbl 0297.68006

16. B. M. Mayoh, Attribute Grammars and Mathematical Systems, S.I.A.M. I Comput., 1981, 3, (10), pp. 503-518. | MR 623062 | Zbl 0462.68062