Formal description of context conditions of ALGOL 60

zbMath0431.68008MaRDI QIDQ1138365

S. H. Smith

Publication date: 1977

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

context conditions of ALGOL-60

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• ALGOL 60

This page was built for publication: Formal description of context conditions of ALGOL 60