Zur Elimination von Prozedurschachtelungen

DOI10.1007/BF02252093zbMath0416.68010MaRDI QIDQ754629

D. Kharzeev

Publication date: 1979

Published in: Computing (Search for Journal in Brave)

zbMATH Keywords

Algol-like programming languages; elimination of procedure nestings

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N01: General topics in the theory of software

Uses Software

• ALGOL 60