Theories, Implementations, and Transformations

Authors:
Eric C. R. Hehner;Ioannis T. Kassios
Affiliations:
-;-
Venue:
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Year:
2002

Citing 3
Cited 0

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Data Refinement: Model-Oriented Proof Methods and Their Comparison

Data Refinement: Model-Oriented Proof Methods and Their Comparison
Putting theories together to make specifications

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.