We study the use of the-calculus for semantical descriptions of languages such as Concurrent Idealised ALGOL (CIA), combining imperative, functional and concurrent features. We rst present an operational semantics for CIA, given by SOS rules and a contextual form of behavioural equivalence; then a-calculus semantics. As behavioural equivalence on-calculus processes we choose the standard (weak ...

Jean Sammet’s Roster of Programming Languages for 1974-75 (Sammet 1976) includes 167 different programming languages which were in use in the United States at the end of 1975: a full list, including languages used chiefly outside the United States and languages which had fallen into disuse by the end of 1975, would perhaps have run to 500 languages. There are languages for special purposes: APT...

An arithmetically complete axiom system for full Algol-like higher order procedures with mode depth one is presented. To show soundness, a translation of the calculus into a variant of Dynamic Logic is deened. The completeness proof is outlined.