Skip to main content
Springer Nature Link
Log in

A logic for encapsulation in object oriented languages

Extended abstract

  • Conference paper
  • First Online:
Programming Language Implementation and Logic Programming (PLILP 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 844))

  • 275 Accesses

Abstract

We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a corresponding modal language, and we show that the proof theory of the language is sound and complete with respect to the entailment relation of the corresponding modal framework. The proposed semantics represents — to our knowledge — the first attempt to capture a truly logical semantics of encapsulation in deductive object oriented languages.

Partially supported by “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo” of C.N.R. grant n. 93.00898.PF69.

Partially supported by grants from the Canadian Commonwealth Scholarship and Fellowship Plan and the University of Dhaka, Bangladesh. The author is on leave from the University of Dhaka, Bangladesh.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. A. Abiteboul. Towards a deductive object-oriented language. Data and Knowledge Engineering, (5):263–287, 1990.

    Google Scholar 

  2. A. Abiteboul and P. C. Kanelakis. Object identity as a query language primitive. In Proceedings of the ACM SOGMOD Int. Conference on the Management of Data, pages 159–173, 1989.

    Google Scholar 

  3. K. R. Apt and M.H. van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):841–862, 1982.

    Google Scholar 

  4. M. Baldoni, Giordano, and A. Martelli. A Multimodal Logic to Define Modules in Logic Programming. In D. Miller, editor, Proceedings of the International Logic Programming Symposium ILPS'93, pages 473–487. The MIT Press, 1993.

    Google Scholar 

  5. C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, (5):353–382, 1990.

    Google Scholar 

  6. M. Bugliesi and H. M. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. (Manuscript).

    Google Scholar 

  7. M. Bugliesi and H. M. Jamil. A Logic for Encapsulation in Object Oriented Languages. Technical Report 5, Dip. Di Matematica Pura ed Applicata, Universitá di Padova, 1994.

    Google Scholar 

  8. B. F. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.

    Google Scholar 

  9. W. Chen and D. S. Warren. C-Logic for Complex Objects. In ACM SIGMOD Conference on Management of Data, 1989.

    Google Scholar 

  10. J.S. Conery. Logical objects. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th Int. Conference on Logic Programming, pages 420–434. The MIT Press, 1988.

    Google Scholar 

  11. C. Delobel, M. Kifer, and Y. Masunaga, editors. Proceedings of the 2nd International Conference of Deductive Object-Oriented Databases. Springer-Verlag, 1991. Appeared as LNCS 566.

    Google Scholar 

  12. G. Dobbie and R. Topor. A Model for Inheritance and Overriding in Deductive Object-Oriented Systems. In Sixteen Australian Computer Science Conference, Jannuary 1988.

    Google Scholar 

  13. G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen & Co. Ltd, 1968.

    Google Scholar 

  14. S. Kamin. Inheritance in smalltalk-80: a denotational definition. In Proceedings of the ACM Int. Conf. on Principles of Programming Languages, pages 80–87, 1988.

    Google Scholar 

  15. M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Technical Report TR-93/06, Department of Computer Science, SUNY at Stony Brook, 1993. (accepted to Journal of ACM).

    Google Scholar 

  16. W. Kim, J-M. Nicola, and S. Nishio, editors. Proceedings of the 1st International Conference of Deductive Object-Oriented Databases. 1989.

    Google Scholar 

  17. S. A. Kripke. Semantical Analysis of Intuitionistic Logic. In J. N. Crossley and M. A. E. Dummett, editors, Formal Systems and Recursive Functions, pages 92–130. North-Holland Pub. Co., 1965.

    Google Scholar 

  18. D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, (6):79–108, 1989.

    Google Scholar 

  19. U. Reddy. Objects as Closures: Abstarct Semantics of Object Oriented Languages. In Proceedings of the ACM Int. Conf. on Lisp and Functional Programming, pages 289–297, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Matematica Pura ed Applicata, Univ. di Padova, Via Belzoni 7, I-35131, Padova, Italy

    Michele Bugliesi

  2. Department of Computer Science, Concordia University, H3G 1M8, Montréal, Québec, Canada

    Hasan M. Jamil

Authors
  1. Michele Bugliesi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hasan M. Jamil
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manuel Hermenegildo Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bugliesi, M., Jamil, H.M. (1994). A logic for encapsulation in object oriented languages. In: Hermenegildo, M., Penjam, J. (eds) Programming Language Implementation and Logic Programming. PLILP 1994. Lecture Notes in Computer Science, vol 844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58402-1_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-58402-1_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58402-5

  • Online ISBN: 978-3-540-48695-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics