H ?
«
‹
←
→
›
»
Language peer sets for Algol 50: United States↑ United States/1998↑ Designed 1998 ↑ 1990s languages ↑ Internet↑ 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 precursoralternate simple viewCountry: 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." 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 |