IEEE - Institute of Electrical and Electronics Engineers, Inc. - On Hoare logic and Kleene algebra with tests

Proceedings. 14th Symposium on Logic in Computer Science

Author(s): Kozen, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Trento, Italy, Italy
Conference Date: 5 July 1999
Page(s): 167 - 172
ISBN (Paper): 0-7695-0158-3
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.1999.782610
Regular:

We show that Kleene algebra with tests subsumes propositional Hoare logic. Thus the specialized syntax and deductive apparatus of Hoare logic are inessential and can be replaced by simple... View More

Advertisement