Algebraic specifications

• Represent structures as algebras

  • Represent results as compositions of operations, not as explicit state
  • Closely related to ADTs

• Algebraic methods tend to provide less implementation bias than some other methods

Previous slide

Next slide

Back to first slide

View graphic version