Refinement: An overview
The purpose of this initial chapter is to introduce concepts and techniques assumed as general background in the remaining chapters of this book. The relevant notions are introduced using a simple and well-known programming notation: Dijkstra’s language of guarded commands , presented in Section .
KeywordsPartial Order Inference Rule Complete Lattice Recursive Procedure Programming Construct
Unable to display preview. Download preview PDF.