Aguzzi, Gianni; Pinzani, Renzo; Sprugnoli, Renzo An algorithmic approach to the semantics of programming languages. (English) Zbl 0262.68007 Automata, Languages, Programming, Proc. Sympos. Inst. Rech. Informatique Automatique (IRIA), Rocquencourt 1972, 147-166 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68Q45 Formal languages and automata 68N01 General topics in the theory of software PDF BibTeX XML OpenURL