A model for the formal definition of programming languages. (English) Zbl 0273.68052


68Q45 Formal languages and automata
68N01 General topics in the theory of software
Full Text: DOI


[1] De Bakker J.W., Advances in Information Systems Science 2 pp 173– (1970)
[2] Earley J., Comm. Assoc, Comp. Mach 14 pp 617– (1971)
[3] Knuth D.E., Fundamental Algorithms 1 (1968) · Zbl 0191.17903
[4] Lucas P., Method and Notation for the Formal Definition of Programming Languages (1968)
[5] Naur P., Revised Report on Algorithmical Language ALGOL-60 A/S Regnecen-tralen (1964)
[6] Rosen , B.K. 1971. Cambridge, Mass: Harvard University. Research rep. Centre for Research in Comp. Techn.
[7] DOI: 10.1145/321495.321504 · Zbl 0182.02004
[8] Farah M., Research Report Department of Applied Analysis and Computer Science
[9] Zoltan A.C., A Formal Definition of ALGOL-60 Using Linked-Forest Manipulation Systems
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.