Revised report on the algorithmic language ALGOL 68

DOI10.1007/BF00265077zbMath0317.68007OpenAlexW1487410109WikidataQ59795777 ScholiaQ59795777MaRDI QIDQ1222015

S. Singh

Publication date: 1975

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00265077

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

A foundation for conceptual data structures by cylindric and partial algebras ⋮ Polymorphic syntax definition ⋮ The formal termination problem for programs with finite ALGOL 68-modes ⋮ A set constructor for inductive sets in Martin-Löf's type theory ⋮ Programming language ALGOL 68 ⋮ Methods and means of parallel processing of information ⋮ On termination problems for finitely interpreted ALGOL-like programs ⋮ Universal grammars ⋮ A space-saving technique for assigning ALGOL 68 multiple values ⋮ Fifty years of Hoare's logic ⋮ The report on the standard hardware representation for ALGOL 68 ⋮ A theory of type polymorphism in programming ⋮ ALGOL 68 ⋮ Algebraic specification of data types: A synthetic approach ⋮ Towards a programming language based on the notion of two-level grammar