Revised report on the algorithmic language ALGOL 60
From MaRDI portal
Publication:1131189
zbMath0109.35105MaRDI QIDQ1131189
C. Katz, J. W. Backus, A. van Wijngaarden, B. Vauquois, Heinz Rutishauser, M. Woodg er, J. Green, J. H. Wegstein, Friedrich L. Bauer, Klaus Samelson, Alan J. Perlis, John McCarthy, Peter Naur
Publication date: 1963
Published in: Numerische Mathematik (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/131549
Related Items (31)
A proof of Hamblin's algorithm for translation of arithmetic expressions from infix to postfix form ⋮ An evolutionary system for neural logic networks using genetic programming and indirect encoding ⋮ Modularity and reusability in attribute grammars ⋮ The conjugate gradient method ⋮ Flowchart machines ⋮ Programs=data=first-class citizens in a computational world ⋮ Two iteration theorems for the LL(k) languages ⋮ Unnamed Item ⋮ On termination problems for finitely interpreted ALGOL-like programs ⋮ Proof obligations for blocks and procedures ⋮ Unnamed Item ⋮ An abstract data type for name analysis ⋮ Testing ALGOL 60 compilers ⋮ Radial transport in a porous medium with Dirichlet, Neumann and Robin-type inhomogeneous boundary values and general initial data: analytical solution and evaluation ⋮ More comments on the programming language Pascal ⋮ Generalized dominators for structured programs ⋮ Ambiguity and precedence in syntax description ⋮ Critical comments on the programming language Pascal ⋮ A constraint-based region inference algorithm ⋮ Sequence-to-sequence recursiveness ⋮ Resolution of ambiguity in parsing ⋮ Formula manipulations solving linear ordinary differential equations. II ⋮ Fifty years of Hoare's logic ⋮ A method for proving programming languages non context-free ⋮ Definition von Schrankenzahlen in Triplex-ALGOL ⋮ Time required for reference count management in retention block-structured languages. Part 1 ⋮ Computer algorithms for Dirac algebra ⋮ All structured programs have small tree width and good register allocation ⋮ ALGOL 60 ⋮ Pair grammars, graph languages and string-to-graph translations ⋮ A unified language processing methodology
This page was built for publication: Revised report on the algorithmic language ALGOL 60
