Boolean Expressions and Conditionals
In the previous chapter we showed how to reason about predicates and sets in general. In programming, predicates arise in two different disguises. First, they are used to describe control structures with branching, like conditional statements and loops. Second, they are used to express correctness conditions for programs. In both cases, the predicates are expressed in terms of program variables, so they are really Boolean expressions. In this chapter, we will look more closely at Boolean expressions and at how to reason about their properties.
KeywordsInference Rule Conditional Operator State Transformer Base Term Boolean Expression
Unable to display preview. Download preview PDF.