Advertisement

Boolean Expressions and Conditionals

  • Ralph-Johan Back
  • Joakim von Wright
Part of the Graduate Texts in Computer Science book series (TCS)

Abstract

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.

Keywords

Inference Rule Conditional Operator State Transformer Base Term Boolean Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • Ralph-Johan Back
    • 1
  • Joakim von Wright
    • 1
  1. 1.Department of Computer ScienceÅbo Akademi UniversityTurkuFinland

Personalised recommendations