Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published January 2002 | public
Journal Article

An Experiment in Program Composition and Proof


This paper explores a compositional approach to program specification, development and proof. We apply a theory of composition to a problem in distributed computing with the goal of understanding the strengths and weaknesses of this compositional approach. First, we describe the theory briefly. Then we give a specification of a desired system. Next, we propose a design of the desired system as a composition of components and prove its correctness. Finally, we show how the proof can be reused for a slightly different compositional structure by using the concept of observation.

Additional Information

© 2002 Kluwer Academic Publishers. This work is supported by a grant from the Air Force Office of Scientific Research.

Additional details

August 21, 2023
October 18, 2023