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 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