Scope Etc

IFIP21

---+ Title

IFIP Working Group 2.1 on _Algorithmic Languages and Calculi_

---+ Aim

To explore and evaluate new ideas in the field of programming, possibly leading to the design of new languages.

---+ Scope

   * The study of calculation of programs from specifications
   * The design of notations for such calculation.
   * The formulation of algorithm theories, using such notations.
   * The investigation of software support for program derivation.
   * Continuing responsibility for [[AlgolResources][Algol 60 and Algol 68]].

-- Main.JeremyGibbons - 31 Mar 2006