Programming by multiset transformation

We present a new formalism called Gamma in which programs are described in terms of multiset transformations. A distinguishing property of Gamma is the possibility of expressing algorithms in a very abstract way, without any artificial sequentiality. The expressive power of the formalism is illustrated through a series of examples chosen from a wide range of domains (string processing problems, graph problems, geometric problems...).

[1]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[2]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[3]  Daniel Le Métayer,et al.  A parallel machine for multiset transformation and its programming style , 1988, Future Gener. Comput. Syst..

[4]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[5]  Martin Rem,et al.  Associons: A Program Notation with Tuples Instead of Variables , 1981, TOPL.

[6]  Mordechai Ben-Ari,et al.  Principles of concurrent programming , 1982 .

[7]  Jean Serra,et al.  Image Analysis and Mathematical Morphology , 1983 .

[8]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[9]  Christian Creveuil,et al.  Dérivation systématique d'un algorithme de segmentation d'images . Un exemple d'application du formalisme GAMMA , 1989 .

[10]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[11]  Daniel Le Métayer,et al.  The GAMMA Model and Its Discipline of Programming , 1990, Sci. Comput. Program..

[12]  David Gries.  A hands-in-the pocket presentation of a k -majority vote algorithm , 1989 .

[13]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[14]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[15]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[16]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[17]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .