25 citations · 637 across the 113 of their papers we have counts for
Showing 2010 · cs.LOShow all
3 papers · 2 filters
cs.LO2010★ 5 cited
On Hoare-McCarthy algebras
Jan A. Bergstra, Alban Ponse
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.…
cs.LO2010★ 8 cited
Short-circuit logic
Jan A. Bergstra, A. Ponse, D. J. C. Staudt
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the v…
cs.LO2010★ 2 cited
On the contribution of backward jumps to instruction sequence expressiveness
Jan A. Bergstra, Inge Bethke
We investigate the expressiveness of backward jumps in a framework of formalized sequential programming called program algebra. We show that - if expressiveness is measured in term…