Jean-Pierre Banătre, Daniel Le Métayer

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).

Science of Computer Programming 15(1), pages 55-77, November 1990
Author = {Ban{\^a}tre, Jean-Pierre and Le M{\'e}tayer, Daniel},
Doi = {10.1016/0167-6423(90)90044-E},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = nov,
Number = 1,
Pages = {55--77},
Title = {The {GAMMA} Model and its Discipline of Programming},
Url = {},
Volume = 15,
Year = 1990}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna