Unifying theories of healthiness condition

A theory ofprogramming starts with a complete Boolean Algebra of specifications, and defines healthiness conditions which exclude infeasibility of implementation. These are expressed as algebraic laws useful for transformation and optimisation of designs. Programming notations and languages must be restricted to those preserving all the healthiness… CONTINUE READING