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).
Chapter PDF
Similar content being viewed by others
Keywords
References
K. Apt. Logic programming. In J. van Leeuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers, 1990.
E. W. Dijkstra. A Discipline of Programming. Prentice Hall, Englewood Cliffs, 1976.
G. Dromey. Program Derivation. The Development of Program from Specifications. Addison Wesley, Reading, Mass., 1989.
B. Dunin-Kęplicz. Formal reconstruction of correct programs development process. Technical report, Institute of Informatics, Warsaw University, 1994.
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.
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.
D. Gries. The Science of Programming. Springer, Berlin, 1981.
A. Langevelde, A. Philipsen, and J. Treur. Formal specification of compositional architecture. In Proceedings of ECAI 92, pages 272–276, Vienna, 1992.
W. M. Turski. Computer Programming Methodology. Heyden, London, 1978.
Author information
Authors and Affiliations
Editor information
Rights 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