Formal translation directed by $LR$ parsing
Kybernetika, Tome 28 (1992) no. 1, pp. 50-61 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68N20, 68Q40, 68Q42, 68Q45, 68Q52, 68S05
@article{KYB_1992_28_1_a3,
     author = {Melichar, Bo\v{r}ivoj},
     title = {Formal translation directed by $LR$ parsing},
     journal = {Kybernetika},
     pages = {50--61},
     year = {1992},
     volume = {28},
     number = {1},
     mrnumber = {1159874},
     zbl = {0746.68056},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1992_28_1_a3/}
}
TY  - JOUR
AU  - Melichar, Bořivoj
TI  - Formal translation directed by $LR$ parsing
JO  - Kybernetika
PY  - 1992
SP  - 50
EP  - 61
VL  - 28
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/KYB_1992_28_1_a3/
LA  - en
ID  - KYB_1992_28_1_a3
ER  - 
%0 Journal Article
%A Melichar, Bořivoj
%T Formal translation directed by $LR$ parsing
%J Kybernetika
%D 1992
%P 50-61
%V 28
%N 1
%U http://geodesic.mathdoc.fr/item/KYB_1992_28_1_a3/
%G en
%F KYB_1992_28_1_a3
Melichar, Bořivoj. Formal translation directed by $LR$ parsing. Kybernetika, Tome 28 (1992) no. 1, pp. 50-61. http://geodesic.mathdoc.fr/item/KYB_1992_28_1_a3/

[1] A.V. Aho, J.D. Ullman: Properties of syntax directed translations. J. Comput. System Sci. 3 (1969), 3, 319 - 334. | MR | Zbl

[2] A. V. Aho, J. D. Ullman: Translation on a context-free grammar. Inform, and Control 19 (1971), 5, 439 - 475. | MR

[3] A.V. Aho, J.D. Ullman: The Theory of Parsing, Translation and Compiling. Vol. 1. Parsing, Vol. 2. Compiling. Prentice-Hall, New York 1971, 1972. | MR

[4] K. Čulík: Well-translatable grammars and Algol-like languages. In: Formal Language Description Languages for Computer Programming (T. B. Steel, ed.), North-Holland, Amsterdam 1966, pp. 76 - 85.

[5] E.T. Irons: A syntax directed compiler for Algol 60. Comm. ACM 4 (1961), 1, 51 - 55. | Zbl

[6] E. T. Irons: The structure and use of the syntax-directed compiler. In: Annual Review in Automatic Programming 3 (R. Goodman, ed.), Pergamon Press, New York - London 1963, pp. 207 - 227.

[7] J. Krai, J. Demner: Parsing as a subtask of compiling. In: Mathematical Foundation of Computer Science 1975 (J. Becvaf, ed., Lecture Notes in Computer Science 32), Springer-Verlag, Berlin - Heidelberg - New York 1975. | MR

[8] P. M. Lewis, R. E. Stearns: Syntax directed transduction. J. Assoc. Comput. Mach. 15 (1968), 3, 465 - 488. | Zbl

[9] P. M. Lewis D. J. Rozenkrantz, R. E. Stearns: Compiler Design Theory. Addison-Wesley, London 1976.

[10] L. Petrone: Syntactic mappings of context-free languages. Proc. IFIP Congress 1965, Part 2, pp. 590 - 591.

[11] P. Purdom, C. A. Brown: Semantic routines and $LR(k)$ parsers. Acta Inform. 14 (1980), 4, 229 - 315. | MR | Zbl

[12] S. Vere: Translation equation. Comm. ACM 13 (1970), 2, 83 - 89. | MR