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

Sugar Tral Cond 

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