IFIP Working Group 2.1 on Algorithmic Languages and Calculi


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


  • 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 Algol 60 and Algol 68.

-- JeremyGibbons - 31 Mar 2006
Topic revision: r4 - 02 Mar 2011, LambertMeertens

This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS? Send feedback