Previous |  Up |  Next

Article

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
.

Files

Files Size Format View
Kybernetika_28-1992-1_4.pdf 710.7Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo