On Revival of Algol-Concepts in Modern Programming and Specification Languages

DOI10.1007/978-3-540-75221-9_19zbMath1151.68351OpenAlexW1505062338MaRDI QIDQ3526940

Hans Langmaack

Publication date: 25 September 2008

Published in: Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75221-9_19

zbMATH Keywords

classverificationJavasemanticsprogramming languagespecification languageobjectAlgolabstract state machine ASMblock conceptformal procedurerecursive procedure and rulestructural simulation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• ALGOL 60

This page was built for publication: On Revival of Algol-Concepts in Modern Programming and Specification Languages