Skip to main content

Constructive Specifications for Compositional Units

  • Conference paper
Logic Based Program Synthesis and Transformation (LOPSTR 2004)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3573))

  • 281 Accesses

Abstract

In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our model-theoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-operable, i.e. they should accept programs in different languages. To cater for this, our model-theoretic semantics needs to be used in conjunction with suitable semantics for behaviours and interfaces. In this paper we describe one possible approach based on constructive specifications.

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

Access this chapter

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. Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A compositional semantics for logic programs. Theoretical Computer Science 122, 3–47 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Logic Programming 19-20, 443–502 (1994); Special issue: Ten years of logic programming

    Article  MathSciNet  Google Scholar 

  3. de Alfaro, L., Henzinger, T.: Interface Theories for Component-based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  4. Debray, S.K.: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems 11(3), 418–450 (1989)

    Article  Google Scholar 

  5. Deville, Y.: Logic Programming. Systematic Program Development. Addison-Wesley, Reading (1990)

    Google Scholar 

  6. D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)

    Google Scholar 

  7. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1989)

    Google Scholar 

  8. Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  9. Hodas, J., Miller, D.: Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation 110(2), 327–365 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  10. Lau, K.-K., Ornaghi, M.: Specifying Compositional Units for Correct Program Development in Computational Logic. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol. 3049, pp. 1–29. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Lau, K.-K., Ornaghi, M., Tärnlund, S.-Å.: Steadfast logic programs. J. Logic Programming 38(3), 259–294 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  12. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  13. Miglioli, P., Ornaghi, M.: A logically justified model of computation I, II. Fundamenta Informaticae 4(1), 151–172, 4(2), 277–342 (1981)

    MATH  MathSciNet  Google Scholar 

  14. Miglioli, P., Moscato, U., Ornaghi, M.: Constructive theories with abstract data types for program synthesis. In: Skordev, D.G. (ed.) Mathematical Logic and its Applications, pp. 293–302. Plenum Press (1987)

    Google Scholar 

  15. Miglioli, P., Moscato, U., Ornaghi, M., Usberti, G.: A Constructivism based on classical truth. Notre Dame Journal of Formal Logic 30(1), 67–90 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  16. Miller, D.: A logical analysis of modules in logic programming. JLP 6(1-2), 79–108 (1989)

    Article  MATH  Google Scholar 

  17. Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lau, KK., Momigliano, A., Ornaghi, M. (2005). Constructive Specifications for Compositional Units. In: Etalle, S. (eds) Logic Based Program Synthesis and Transformation. LOPSTR 2004. Lecture Notes in Computer Science, vol 3573. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506676_13

Download citation

  • DOI: https://doi.org/10.1007/11506676_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26655-6

  • Online ISBN: 978-3-540-31683-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics