Compositionality issues of concurrent object-oriented logic languages

  • E. Pimentel
  • J. M. Troya
Paper Sessions Specification, Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 694)


We define the operational and denotational semantics for L2∥O2, a language incorporating the typical mechanisms of object oriented programming into concurrent logic languages. Our proposal allows the exploitation of two kinds of parallelism in the object-oriented paradigm: inter-objects and intra-objects parallelism. On the other hand, the communication among objects is asynchronous. The operational semantics of the language is given in terms of a transition relation, but it presents a problem: it is not compositional. To solve this lack of compositionality, we define a denotational semantics, which is correct with respect to the operational one. We have chosen complete metric spaces as the mathematical framework to develop this semantic, by using contractions on them.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Agha, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press.Google Scholar
  2. America, P.H.M., de Bakker, J.W., Kok, J.N. and Rutten, J.J.M.M. 1986. A denotational semantics of a parallel object-oriented language, Technical Report, CS-R8626, Centre for Mathematics and Computer Science, Amsterdam.Google Scholar
  3. America, P.H.M. and Rutten, J.J.M.M. 1988. “Solving reflexive domain equations in a category of complete metric spaces”, in M. Main, A. Melton, M. Mislove and D. Schmidt (eds), Proc. of Third Workdhop on Mathematical Foundations of Programming Languages Semantics, LNCS 298, Springer-Verlag, pp. 254–288.Google Scholar
  4. America, P.H.M. and Rutten, J.J.M.M. 1989. “A Parallel Object-Oriented Language: Design and Semantic Foundations”, in J.W. de Bakker (ed), Languages for Parallel Architectures. Design, Semantics, Implementation Models. Wiley, pp. 1–49.Google Scholar
  5. Boer, F.S., Kok, J.N., Palamidessi, C. and Rutten, J. 1989. “Semantic models for a version of PARLOG”, in G. Levi y M. Martelli (eds), Proc.of Sixth Int. Conf. on Logic Programing, MIT Press, pp. 621–635.Google Scholar
  6. Cook, W and Palsberg, J. 1989. “A denotational semantics of inheritance and its correcteness”, in N. Meyrowitz (ed), Proc. OOPSLA'89. SIGPLAN Notices, vol. 24, n∘ 10, ACM Press/Addison-Wesley, pp. 433–443.Google Scholar
  7. Clark, K. and Gregory, S. 1986. “PARLOG: Parallel Programming in Logic”, in ACM Transactions on Programming Languages and Systems, vol. 8, 1, pp. 1–49.CrossRefGoogle Scholar
  8. Davison, A. 1989. Polka: A Parlog Object-Oriented Language. PhD. thesis. Univ. of London.Google Scholar
  9. Kahn, K., Tribble, E.D., Miller, M.S. and Bobrow, D. 1987. “Vulcan: Logical Concurrent Objects”, in E. Shapiro (ed). Concurrent Prolog: Collected Papers, vol. 2, MIT Press, Cambridge (Mass), pp. 274–303.Google Scholar
  10. Ohki, M., Takeuchi, A. and Furukawa, K. 1987. “An Object-oriented Programming Language Based on the Parallel Logic Programming Language KL1”, in Proc. of the Fourth Int. Conf. on Logic Programming, MIT Press, pp. 894–909.Google Scholar
  11. Pimentel, E. and Troya, J.M. 1991. “A Concurrent Object Oriented Logic Language”, in Atti del Sesto Convegno sulla Programmazione Logica. Pisa. pp. 227–240.Google Scholar
  12. Pimentel, E. and Troya, J.M. 1992. “L2∥O2: Operational and Declarative Semantics”, in Proc. of ALPUK'92. Springer-Verlag.Google Scholar
  13. Shapiro, E. 1983. “A subset of Concurrent Prolog and its interpreter”. Technical Report, TR-003. ICOT, Tokyo.Google Scholar
  14. Shapiro, E. 1989. “The Family of Concurrent Logic Programming Languages”, in ACM Computing Surveys, vol. 21. n∘3. ACM. pp. 413–510.Google Scholar
  15. Shapiro, E. and Takeuchi, A. 1983. “Object Oriented Programming in Concurrent Prolog”, in New Generation Computing, 1. pp. 25–48.Google Scholar
  16. Ueda, K. 1985. “Guarded Horn Clauses”. Technical Report, TR-103. ICOT, Institute for New Generation Computer Technology, Tokyo.Google Scholar
  17. Yelland, P.M. 1989 “First Steps Towards Fully Abstract Semantics for Object Oriented Languages”, in Proc. of the Third European Conf. on Object-Oriented Prog. Cambridge Univ. Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • E. Pimentel
    • 1
  • J. M. Troya
    • 1
  1. 1.Dpto. de Lenguajes y Ciencias de la ComputaciónUniversidad de MálagaMalagaSpain

Personalised recommendations