You are here: Foswiki>IFIP21 Web>WebLeftBar>ScopeEtc (02 Mar 2011, LambertMeertens)Edit Attach

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
Edit  | Attach | Print version | History: r4 < r3 < r2 < r1 | Backlinks | View wiki text | Edit wiki text | More topic actions
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 Foswiki? Send feedback