• Established: 1964
• Chair: Antonín Kučera, Masaryk University, Brno, Czech Republic
• Vice chair: Barbara König, Universität Duisburg-Essen, Duisburg, Germany
• Secretary: Markus Müller-Olm, Universität Münster, Germany
• Membership: 35 members from 17 countries

---

Aim

The primary aim of the Working Group 2.2 is to explain programming concepts through the development, examination and comparison of various formal models of these concepts.

---

Scope

The Working Group will investigate formalisms and models which represent different approaches to formal specification of programming concepts. The models of concern must, at least in part:

• apply to the actual and future computing milieu;
• have sufficient generality to describe total systems or useful subsystems;
• treat either problem specification or solution specification;

• provide practical guides towards derivation of:
  • capabilities,
  • semantics,
  • correctness,
  • equivalence,
  • implementability,
  • performance

and their support by the means of computer tools;

• assist in standards development and specification;
• have a pedagogical utility.