Abstract
We present a new formalism called GAMMA which relies on the chemical reaction metaphor; the only data structure is the multiset and the computation can be seen as a succession of chemical reactions consuming elements of the multiset and producing new elements according to specific rules. We show the relevance of this formalism with respect to program development by proposing a systematic program derivation method.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Banâtre J.-P., Coutant A., Le Métayer D., A Parallel Machine for Multiset Transformation and its Programming Style, Future Generation Computer Systems, North-Holland, 1988, pp. 133–144.
Carriero N., Gelernter D., Linda in Context, Comm. of the ACM 32, 4, April 1989, pp. 444–458.
Chandy M., Misra J., Parallel Program Design: a Foundation, Addison-Wesley Publishing Company, 1988.
Creveuil C., Moguerou G., Dérivation d’un algorithme de segmentation d’images: un exemple d’application du formalisme GAMMA, Technical Report INRIA, N°1049, June 1989.
Dershowitz N., Manna Z., Proving termination with Multiset Orderings, Comm. of the ACM, 22, 8, August 1979, pp. 465–476.
Dijkstra E. W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 1976.
Dromey R.G., How to Solve it by Computer?, Prentice Hall, 1982.
Gelernter D., Generative Communication in Linda, ACM Transactions on Programming Languages and Systems, vol. 7, N° 1, January 1985, pp. 80–112.
Gries D., The Science of Programming, Springer Verlag, New York, 1981.
Knuth D., Seminumerical Algoritms. The Art of Computer Programming, Addison Wesley Publishing Company, 1969.
Manna Z., Waldinger R., Synthesis: Dreams Programs, IEEE trans. on Software Engineering, vol. SE-5, N° 4, July 1979, pp. 294–328.
Rem M., Associons: A Program Notation with Tuples instead of Variables, ACM Transactions on Programming Languages and Systems, vol. 3, N° 3, July 1981, pp. 251–262.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 British Computer Society
About this paper
Cite this paper
Banâtre, JP., Le Métayer, D. (1990). Chemical Reaction as a Computational Model. In: Davis, K., Hughes, J. (eds) Functional Programming. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3166-3_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3166-3_7
Publisher Name: Springer, London
Print ISBN: 978-3-540-19609-9
Online ISBN: 978-1-4471-3166-3
eBook Packages: Springer Book Archive