H ? « »

Language peer sets for Algol 50:
United States
United States/1998
Designed 1998
1990s languages
New internationlism
Genus True ALGOL60s
Numerical Scientific
True ALGOL60s
Generation of Algol 60
Algol family
True ALGOL60s/1998
Generation of Algol 60/1998
Algol family/1998
True ALGOL60s/United States
Generation of Algol 60/United States
Algol family/United States
Numerical Scientific
Numerical Scientific/1998
Numerical Scientific/us

Algol 50(ID:5842/alg027)

McCarthy's putative theorised Algol 60 precursor  

alternate simple view
Country: United States
Designed 1998
Genus: True ALGOL60s
Sammet category: Numerical Scientific

Paper language created by McCarthy as an introduction to ideas in Elephant 2000, conceived of as the successor to Algol 48 ( as Algol 60 stood to Algol 58)

"These are the explicit use of time in a programming language and the representation of the program by logical sentences. The former permits a direct expression of the operational semantics of the language, and the latter permits proofs of properties of programs without any special theory of programming."

Related languages
ALGOL 60 Algol 50   Extension of
Elephant 2000 Algol 50   Co-development

  • McCarthy, John (1998) McCarthy, John "Elephant 2000: A Programming Language Based on Speech Acts" Stanford University 1998 Extract: Introduction Online copy Algol 50 Home page Algol 48 and 50 page
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder