Static procedure identification in compilers for Algol-type languages

zbMath0419.68019MaRDI QIDQ1132557

S. M. Abramovich

Publication date: 1978

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

correctnesscompilers for Algol-type languagesstatic procedure identification

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Uses Software

• ALGOL 60

This page was built for publication: Static procedure identification in compilers for Algol-type languages