Title:
|
Formal translation directed by $LR$ parsing (English) |
Author:
|
Melichar, Bořivoj |
Language:
|
English |
Journal:
|
Kybernetika |
ISSN:
|
0023-5954 |
Volume:
|
28 |
Issue:
|
1 |
Year:
|
1992 |
Pages:
|
50-61 |
. |
Category:
|
math |
. |
MSC:
|
68N20 |
MSC:
|
68Q40 |
MSC:
|
68Q42 |
MSC:
|
68Q45 |
MSC:
|
68Q52 |
MSC:
|
68S05 |
idZBL:
|
Zbl 0746.68056 |
idMR:
|
MR1159874 |
. |
Date available:
|
2009-09-24T18:29:50Z |
Last updated:
|
2012-06-05 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124971 |
. |
Reference:
|
[1] A.V. Aho, J.D. Ullman: Properties of syntax directed translations.J. Comput. System Sci. 3 (1969), 3, 319 - 334. Zbl 0174.02802, MR 0252130 |
Reference:
|
[2] A. V. Aho, J. D. Ullman: Translation on a context-free grammar.Inform, and Control 19 (1971), 5, 439 - 475. MR 0317590 |
Reference:
|
[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 0408321 |
Reference:
|
[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. |
Reference:
|
[5] E.T. Irons: A syntax directed compiler for Algol 60.Comm. ACM 4 (1961), 1, 51 - 55. Zbl 0103.34904 |
Reference:
|
[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. |
Reference:
|
[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 0403331 |
Reference:
|
[8] P. M. Lewis, R. E. Stearns: Syntax directed transduction.J. Assoc. Comput. Mach. 15 (1968), 3, 465 - 488. Zbl 0164.32102 |
Reference:
|
[9] P. M. Lewis D. J. Rozenkrantz, R. E. Stearns: Compiler Design Theory.Addison-Wesley, London 1976. |
Reference:
|
[10] L. Petrone: Syntactic mappings of context-free languages.Proc. IFIP Congress 1965, Part 2, pp. 590 - 591. |
Reference:
|
[11] P. Purdom, C. A. Brown: Semantic routines and $LR(k)$ parsers.Acta Inform. 14 (1980), 4, 229 - 315. Zbl 0424.68052, MR 0593927 |
Reference:
|
[12] S. Vere: Translation equation.Comm. ACM 13 (1970), 2, 83 - 89. MR 0295860 |
. |