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

摘要: Appearance of computing machines dates back to the 1940s and their corresponding scientific disciplines, computer science resp. informatics, have arisen in 1960s. Nevertheless, fighting for appropriate programming specification languages has not yet come an end: The Java-programming language Abstract State Machines ASM are new representative specimens which recently. These even advancing improving themselves: Original Java 1996, a flat without class nestings, towards more modern 2000 with nested classes, Basic Evolving Algebras 1988/91 Turbo 2003 where rules show features like naming, parameterizing, local states recursive calls. transitions inside remind at much earlier transition from Fortran Algol 58 60 its block concept nested, parameterized, formal procedures. Aim present essay is that many those concepts incorporated were already available Algol60.