We introduce COOLL, a programming language combining the concepts of multiple tuple spaces and objects-as-multisets. COOLL extends Linear Objects (LO), an object oriented language based on the proof theory of Linear Logic (LL), with new mechanisms aiming at improving the ability of expressing coordination and modularity. Our goal is to explore the new mechanisms in the theoretical framework offered by Linear Logic.
Castellani, S., Ciancarini, P. (1996). Enhancing coordination and modularity mechanisms for a language with objects-as-multisets. Berlin : Springer Verlag [10.1007/3-540-61052-9_41].
Enhancing coordination and modularity mechanisms for a language with objects-as-multisets
Ciancarini, Paolo
1996
Abstract
We introduce COOLL, a programming language combining the concepts of multiple tuple spaces and objects-as-multisets. COOLL extends Linear Objects (LO), an object oriented language based on the proof theory of Linear Logic (LL), with new mechanisms aiming at improving the ability of expressing coordination and modularity. Our goal is to explore the new mechanisms in the theoretical framework offered by Linear Logic.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
