Examples of formal semantics.(English)Zbl 0221.68014

Sympos. Semantics algorithmic Languages, Lect. Notes Math. 188, 212-235 (1971).

MSC:

 68Q55 Semantics in the theory of computing 68N15 Theory of programming languages 68N20 Theory of compilers and interpreters

Zbl 0215.560