Can we transform logic programs into attribute grammars ?

T. Isakowitz

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1991)

  • Volume: 25, Issue: 6, page 499-543
  • ISSN: 0988-3754

How to cite

top

Isakowitz, T.. "Can we transform logic programs into attribute grammars ?." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 25.6 (1991): 499-543. <http://eudml.org/doc/92403>.

@article{Isakowitz1991,
author = {Isakowitz, T.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {logic programs; attribute grammars},
language = {eng},
number = {6},
pages = {499-543},
publisher = {EDP-Sciences},
title = {Can we transform logic programs into attribute grammars ?},
url = {http://eudml.org/doc/92403},
volume = {25},
year = {1991},
}

TY - JOUR
AU - Isakowitz, T.
TI - Can we transform logic programs into attribute grammars ?
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1991
PB - EDP-Sciences
VL - 25
IS - 6
SP - 499
EP - 543
LA - eng
KW - logic programs; attribute grammars
UR - http://eudml.org/doc/92403
ER -

References

top
  1. 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. Zbl0483.68004MR666781
  2. 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. 3. L. CHIRICA and D. MARTIN, An Order-Algebraic Definition of Knuthian Semantics, Math. Systems Theory, 1979, (13), pp. 1-27. Zbl0397.68087MR548546
  4. 4. K. L. CLARK, Predicate Logic as a Computational Formalism, Research Monograph 79/59, Imperial College, London, 1979. 
  5. 5. W. F. CLOCKSIN and C. S. MELISH, Programming in Prolog, Springer-Verlag, 1984. Zbl0613.68010
  6. 6. B. COURCELLE, Attribute Grammars: Theory and Applications. In Lecture Notes in Comput. Sci., 1981, pp. 75-95, Springer-Verlag. Zbl0457.68090MR621865
  7. 7. B. COURCELLE and P. FRANCHI-ZANNETTACCI, Attribute Grammars and Recursive Program Schemes, Theoret. Comput. Sci., 1982, 17, (2), pp. 235-258. Zbl0481.68068
  8. 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. Zbl0719.68038MR949297
  9. 9. P. DERANSART and J. MALUSZYNSKI, Relating Logic Programms and Attribute Grammars, J. Logic Programming, 1985, 1, (2), pp. 119-225. Zbl0586.68073MR798932
  10. 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. 11. J. H. GALLIER, Logic for Computer Science, Harper and Row, 1985. Zbl0605.03004
  12. 12. S. GORN, Explicit Definitions and Linguistic Dominoes. In J. HART and S. TARKASU Eds., Systems and Computer Science, Hedonist Press, 1965. MR237245
  13. 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. 14. D. KNUTH, Semantics of Context Free Languages, Math. Systems Theory, 1968, 2, (2), pp. 127-145. Zbl0169.01401MR1555478
  15. 15. R. A. KOWALSKI, Predicate Logic as a Programming Language. In J. ROSENFELD Ed., Inform. Process. Lett., 1974, 74, pp. 556-574, North-Holland. Zbl0297.68006
  16. 16. B. M. MAYOH, Attribute Grammars and Mathematical Systems, S.I.A.M. I Comput., 1981, 3, (10), pp. 503-518. Zbl0462.68062MR623062

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.