The GAMMA Model and its Discipline of Programming

   page       BibTeX_logo.png   
Jean-Pierre Banâtre, Daniel Le Métayer
Science of Computer Programming 15(1), pages 55-77
November 1990

We present a new formalism called GAMMA in which programs are described as multiset transformers. We show the relevance of this formalism with respect to program development by proposing a systematic program derivation method and illustrating it with several nontrivial problems (sorting, shortest path, longest upsequence).

journal or series
book Science of Computer Programming (SCP)