H ?
«
‹
←
→
›
»
Language peer sets for Algol 48: United States↑ United States/1998↑ Designed 1998 ↑ 1990s languages ↑ Internet↑ New internationlism↑ Genus True Algol58s ↑ Numerical Scientific ↑ True Algol58s↑ Generation of Algol 58/IAL↑ Algol family ↑ True Algol58s/1998↑ Generation of Algol 58/IAL/1998↑ Algol family/1998↑ True Algol58s/United States↑ Generation of Algol 58/IAL/United States↑ Algol family/United States↑ Numerical Scientific ↑ Numerical Scientific/1998↑ Numerical Scientific/us ↑ Algol 48(ID:5841/alg026)McCarthy's putative theorised Algol 50 precursoralternate simple viewCountry: United States Designed 1998 Genus: True Algol58s Sammet category: Numerical Scientific Paper language created by McCarthy as an introduction to ideas in Elephant 2000, conceived of as the precursor to Algol 50 ( as Algol 58 stood to Algol 60) "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." People: Related languages
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |