On Hoare-McCarthy algebras

Details On Hoare-McCarthy algebras On Hoare-McCarthy algebras

2010-12-22

arxiv.org/abs/1012.5059v1

Computer Science

Logic in Computer Science

29 pages, 1 table

Scientific paper

We discuss an algebraic approach to propositional logic with side effects. To
this end, we use Hoare's conditional [1985], which is a ternary connective
comparable to if-then-else. Starting from McCarthy's notion of sequential
evaluation [1963] we discuss a number of valuation congruences and we introduce
Hoare-McCarthy algebras as the structures that characterize these congruences.

Affiliated with

Also associated with

No associations

Rating

On Hoare-McCarthy algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Hoare-McCarthy algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Hoare-McCarthy algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-582623