Skip to main content
SpringerLink
Log in

An architecture with multiple meta-levels for the development of correct programs

  • Conference paper
  • First Online:
Logic Program Synthesis and Transformation — Meta-Programming in Logic (META 1994, LOPSTR 1994)

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

  • 160 Accesses

Abstract

In this paper we design a multi-meta-level compositional architecture for correct programs development. In this architecture an object level, describing an application domain, together with a metalevel, representing the semantics of a programming language, and a meta-meta-level, reflecting the adopted methodology, provide a specification of a generic system supporting the user in the process of correct programs construction. The ideas reported in this paper are illustrated in a prototype version of the system, designed for Dijkstra's guarded command programming language.

This work has been partially supported by grants: KBN 2 1199 9101 (Polish Research Commitee), CRIT-1 (CEC).

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.

References

  1. K. Apt. Logic programming. In J. van Leeuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers, 1990.

    Google Scholar 

  2. E. W. Dijkstra. A Discipline of Programming. Prentice Hall, Englewood Cliffs, 1976.

    Google Scholar 

  3. G. Dromey. Program Derivation. The Development of Program from Specifications. Addison Wesley, Reading, Mass., 1989.

    Google Scholar 

  4. B. Dunin-Kęplicz. Formal reconstruction of correct programs development process. Technical report, Institute of Informatics, Warsaw University, 1994.

    Google Scholar 

  5. B. Dunin-Kęplicz, J. Jabłonowski, W. łukaszewicz, and E. Madalińska-Bugaj. CAProDel: A system for computer aided program development. To appear in Proceeding of the Sixth International Conference on Software Engineering and Knowledge Engineering, SEKE'94, Jurmala, Latvia, 1994.

    Google Scholar 

  6. B. Dunin-Kęplicz, J. Jabłonowski, W. łukaszewicz, and E. Madalińska-Bugaj. Developing programs from specifications: Design of a system. In Proceedings of the Third International Conference on Information Systems Developers Workbench, pages 145–168, Gdańsk, 1992.

    Google Scholar 

  7. D. Gries. The Science of Programming. Springer, Berlin, 1981.

    Google Scholar 

  8. A. Langevelde, A. Philipsen, and J. Treur. Formal specification of compositional architecture. In Proceedings of ECAI 92, pages 272–276, Vienna, 1992.

    Google Scholar 

  9. W. M. Turski. Computer Programming Methodology. Heyden, London, 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, 02-097 Warszawa, Banacha 2, Poland

    Barbara Dunin-Keplicz

Authors
  1. Barbara Dunin-Keplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Laurent Fribourg Franco Turini

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dunin-Keplicz, B. (1994). An architecture with multiple meta-levels for the development of correct programs. In: Fribourg, L., Turini, F. (eds) Logic Program Synthesis and Transformation — Meta-Programming in Logic. META LOPSTR 1994 1994. Lecture Notes in Computer Science, vol 883. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58792-6_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-58792-6_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58792-7

  • Online ISBN: 978-3-540-49104-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation