A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Communicating agents for applicative concurrent programming
Proceedings of the 5th Colloquium on International Symposium on Programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Hi-index | 0.00 |
In Pettorossi and Skowron (1983) a recursive-equations language is introduced. Its operational semantics is specified by means of computing agents which communicate and exchange messages. Those communications are, so to speak, zero-order, in the sense that the exchanged messages are values of a data structure, possibly defined by the programmer. In this paper we extend that approach and we consider also 'higher-order' communications by allowing the exchange of agents behaviours, i.e. sets of computations, among computing agents. This extension leads to a new programming methodology which makes use of proofs of computing agents behaviours and their related strategies.