The purpose of this paper is to try to put theory presentation and structuring in the simplest possible logical setting in order to improve our understanding of it. We look at how theories can be combined, and compared for strength. We look at theory refinement and implementation, and what constitutes proof of correctness. Our examples come from both the functional style and imperative (state-changing) style of theory. Finally, we explore how one implementation can be transformed to another.
CITATION STYLE
Hehner, E., & Kassios, I. T. (2002). Theories, implementations, and transformations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2272, pp. 1–21). Springer Verlag. https://doi.org/10.1007/3-540-45648-1_1
Mendeley helps you to discover research relevant for your work.