APICe » Publications » GammaScp15

The GAMMA Model and its Discipline of Programming

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 = {http://www.sciencedirect.com/science/article/pii/016764239090044E},
	Volume = 15,
	Year = 1990}