Istituto di Scienza e Tecnologie dell'Informazione     
Bellia M., Dameri E., Degano P., Levi G., Martelli M. Applicative communicating processes in first order logic. Internal note IEI-B81-06, 1981.
We describe a first order applicative language for the specification of deterministic systems of communicating computing agents Ia Kahn-MacQueen. Both the sequential and parallel interpreter we give are based on lazy evaluation, are demand driven and can handle infinite streams and non-terminating procedures. An equivalent least fixed-point semantics is then presented which neatly copes with the above features of the language, tt is worth noting that computations in our logical based model can be considered as format proofs, thus making format reasoning about programs easier.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional