IFIP Working Group 2.2
Formal Description of Programming Concepts


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.


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;