×

RIGAL – a programming language for compiler writing. (English) Zbl 1412.68028

Bārzdiṇš, Jānis (ed.) et al., Baltic computer science. Selected papers. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 502, 529-564 (1991).
Summary: A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.
For the entire collection see [Zbl 0875.00059].

MSC:

68N15 Theory of programming languages
68N20 Theory of compilers and interpreters
68P05 Data structures

Software:

YACC; RIGAL
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] A.Aho, J.Ullman. The theory of parsing, translation and compiling// Prentice-Hall, Inc. Englewood Cliffs,N.J. 1972. — vol.1,2.
[2] S.C.Johnson. YACC — Yet Another Compiler Compiler // Bell Laboratories, Murray Hill,N.J., 1978, A technical manual.
[3] C.H. Koster. Using the CDL Compiler Compiler// Lecture Notes in Computer Science, Vol.21, Springer-Verlag, Berlin, 1977. · Zbl 0353.68009
[4] I.R. Agamirzyan. Compiler Design Technological Support System SHAG. // Space mechanics algorithms, Leningrad, vol. 79, 1985, pp.1-53., ( in Russian).
[5] D.E. Knuth. Semantics of context-free languages// Mathematical Systems Theory, 2, 2, 1968, pp.127-146. · Zbl 0169.01401
[6] V.A.Serebryakov. Methods of Attribute Translation.// In: Programming Languages, Moscow, “Nauka”, 1985, pp.47-79, (in Russian).
[7] A.O.Vooglaid, M.V.Lepp, D.B.Lijb. Input Languages of the ELMA System.// Proceedings of the Tallinn Polytechnical Institute, #524, 1982, pp.79-96, (in Russian).
[8] The intermediate language DIANA: Design and Implementation//Lecture Notes in Computer Science, Vol.180, Springer-Verlag Berlin, 1984.
[9] R.Vilhelm. Presentation of the compiler generation system MUG2: Examples, global flow analysis and optimization// Le point sur la compilation, INRIA, 1978, pp.307-336.
[10] Basic REFAL and its implementation on computers.// CNIPIASS, Moscow, 1977, (in Russian).
[11] P.Lucas. Formal definition of programming languages and systems// IFIP Congress, 1971. · Zbl 0244.68003
[12] M.Ganapatti, C.N.Fisher, J.L.Hennessy. Retargetable compiler code generation// ACM Computing Survays, 14(4), 1982.
[13] J.Barzdin, A.Kalnins, M.Auguston, SDL tools for rapid prototyping and testing.// in SDL’89: The language at work, ed. O.Faergemand and M.M.Marques, North-Holland, 1989, pp.127-133.
[14] R. Herndon, V. Berzins, The realizable benefits of a language prototyping languages.// IEEE Transactions on Software Engineering, vol.14, No 6, June 1988, pp.803-809.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.