Revised report on the algorithmic language ALGOL 60

MaRDI QIDQ1131189zbMATH OpenFDO

Authors J. W. Backus, J. Green, C. Katz, Heinz Rutishauser, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodg er, Peter Naur, Friedrich L. Bauer, John McCarthy, Alan J. Perlis, Klaus Samelson

Publication date 1963

Published in Numerische Mathematik (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/131549

zbMATH Keywords

numerical analysis

Cited in

(32)

• Two iteration theorems for the LL(k) languages
• On termination problems for finitely interpreted ALGOL-like programs
• An abstract data type for name analysis
• More comments on the programming language Pascal
• Ambiguity and precedence in syntax description
• Sequence-to-sequence recursiveness
• Resolution of ambiguity in parsing
• Formula manipulations solving linear ordinary differential equations. II
• A method for proving programming languages non context-free
• All structured programs have small tree width and good register allocation
• Modularity and reusability in attribute grammars
• A unified language processing methodology
• An evolutionary system for neural logic networks using genetic programming and indirect encoding
• Critical comments on the programming language Pascal
• Fifty years of Hoare's logic
• Definition von Schrankenzahlen in Triplex-ALGOL
• Computer algorithms for Dirac algebra
• Pair grammars, graph languages and string-to-graph translations
• The conjugate gradient method
• Programs=data=first-class citizens in a computational world
• ALGOL 60
• Testing ALGOL 60 compilers
• Time required for reference count management in retention block-structured languages. Part 1
• Generalized dominators for structured programs
• scientific article; zbMATH DE number 3248560 (Why is no real title available?)
• scientific article; zbMATH DE number 3276168 (Why is no real title available?)
• A proof of Hamblin's algorithm for translation of arithmetic expressions from infix to postfix form
• Flowchart machines
• A constraint-based region inference algorithm
• A grammatical evolution approach to the automatic inference of P systems
• Radial transport in a porous medium with Dirichlet, Neumann and Robin-type inhomogeneous boundary values and general initial data: analytical solution and evaluation
• Proof obligations for blocks and procedures

This page was built for publication: Revised report on the algorithmic language ALGOL 60

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1131189)