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.

@article{gamma-scico15,
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}

Journals & Series

Tags:

Publication

— authors

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

— status

published

— sort

article in journal

Venue

— journal

Science of Computer Programming

— volume

15

— issue

1

— pages

55-77

— publication date

November 1990

URLs

original page

Identifiers

— DOI

10.1016/0167-6423(90)90044-E

— print ISSN

0167-6423

BibTeX

— BibTeX ID
gamma-scico15
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY