Introduction to aspect oriented programming (OAP), which isolates secondary or supporting functions like logging or access control from the main program’s business logic. Then we see how to use aspects to implement Design by Contract (DbC) which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. Code examples.