A Calculus for Program Construction

The following sections are included:

• Introduction

• Filters and Sets

• The Relational Implication

• Representability and Expressiveness in Program Construction

• A Methodology for Program Construction

• Examples

  • First Example

    • Finding the Minimum Element in a List

    • Finding the Minimum Common Ancestor

  • Second Example

    • Finding the Contiguous Sublists of Maximum Sum

    • Finding the Longest Plateau

• A D & C Algorithm for MAXSTA

• Comparison with Previous Work