×

The gamma model and its discipline of programming. (English) Zbl 0715.68054

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

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68N01 General topics in the theory of software
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI