IFIP Working Group 2.2
Formal Description of Programming Concepts


The Working Group 2.2. congratulates its member emeritus Leslie Lamport
on his winning the Turing Award.


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:

and their support by the means of computer tools;