ALGOL 60
ALGOL 60 (short for Algorithmic Language 1960) is a member of the ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced code blocks and the begin and end pairs for delimiting them. ALGOL 60 was the first language implementing nested function definitions with lexical scope. It gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal and C. Niklaus Wirth based his own ALGOL W on ALGOL 60 before moving to develop Pascal. Algol-W was intended to be the next generation ALGOL but the ALGOL 68 committee decided on a design that was more complex and advanced rather than a cleaned simplified ALGOL 60. The official ALGOL versions are named after the year they were first published. Algol 68 is substantially different from Algol 60 and was criticised partially for being so, so that in general ”Algol” refers to dialects of Algol 60 (wikipedia).
Keywords for this software
References in zbMATH (referenced in 502 articles , 2 standard articles )
Showing results 1 to 20 of 502.
Sorted by year (- de Mingo López, Luis Fernando; Blas, Nuria Gómez; Castellanos Peñuela, Angel Luis; Castellanos Peñuela, Juan Bautista: Swarm intelligence models: ant colony systems applied to BNF grammars rule derivation (2020)
- Apt, Krzysztof R.; Olderog, Ernst-Rüdiger: Fifty years of Hoare’s logic (2019)
- Brezinski, Claude; Redivo-Zaglia, Michela: The genesis and early developments of Aitken’s process, Shanks’ transformation, the (\varepsilon)-algorithm, and related fixed point methods (2019)
- Quinlan, Dee; Wells, Joe B.; Kamareddine, Fairouz: BNF-style notation as it is actually used (2019)
- Bodini, Olivier; Gardy, Danièle; Gittenberger, Bernhard; Gołębiewski, Zbigniew: On the number of unary-binary tree-like structures with restrictions on the unary height (2018)
- Guo, Lankun; Li, Qingguo; Yao, Lingjuan: Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains (2018)
- Srinivasan, Ashwin; Bain, Michael: An empirical study of on-line models for relational data streams (2017)
- Gasanov, El’yar E.; Zubkov, Andrey M.; Klykova, Natalia V.: The algorithm for identical object searching with bounded worst-case complexity and linear memory (2016)
- Guerrieri, Giulio: Head reduction and normalization in a call-by-value lambda-calculus (2015)
- Honda, Kohei; Yoshida, Nobuko; Berger, Martin: An observationally complete program logic for imperative higher-order functions (2014)
- Kuhn, Tobias: A principled approach to grammars for controlled natural languages and predictive editors (2013)
- Wilhelm, Reinhard; Seidl, Helmut; Hack, Sebastian: Compiler design. Vol. 2: Syntactic and semantic analysis (2013)
- Bergstra, J. A.; Middelburg, C. A.: Instruction sequence processing operators (2012)
- Crolard, T.; Polonowski, E.: Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (2012)
- Gil, Amparo; Segura, Javier: Computing the real zeros of cylinder functions and the roots of the equation (x\mathcalC_\nu’(x)+\gamma\mathcalC_\nu(x)=0). (2012)
- Jones, Cliff B.: John McCarthy (1927--2011) (2012)
- Jones, Neil D.; Simonsen, Jakob Grue: Programs = data = first-class citizens in a computational world (2012)
- Moses, Joel: Macsyma: A personal history (2012)
- Veling, E. J. M.: Radial transport in a porous medium with Dirichlet, Neumann and Robin-type inhomogeneous boundary values and general initial data: analytical solution and evaluation (2012)
- Colvin, Robert J.; Hayes, Ian J.: Structural operational semantics through context-dependent behaviour (2011)