@inproceedings{fb72688b68c241c2accffd6d7e6af906,
title = "Unifying theories of healthiness condition",
abstract = "A theory of programming 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 conditions. We have explored a wide range of programming paradigms, including nondeterministic, sequential, parallel, logical and probabilistic. In all cases, we have found a single healthiness condition, formalised by constructions due to Karoubi and to Kleisli. The uniformity maintains for all paradigms a single notion of correctness throughout the chain that leads from specification through designs to programs that are proved to meet the original specification.",
keywords = "Boolean algebra, Design optimization, Laboratories, Logic programming, Maintenance, Parallel programming, Specification languages",
author = "Jifeng He and Hoare, \{C. A.R.\}",
note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 7th Asia-Pacific Software Engineering Conference, APSEC 2000 ; Conference date: 05-12-2000 Through 08-12-2000",
year = "2000",
doi = "10.1109/APSEC.2000.896685",
language = "英语",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "70--81",
booktitle = "Proceedings - 7th Asia-Pacific Software Engineering Conference, APSEC 2000",
address = "美国",
}