Teaching ADTs with the help of ConGu

This page includes some supporting material for using ConGu tool in a typical course on Algorithms and Data Structures that adopts Java. This material has been used in this course for several years.

For each ADT covered in the course, we provide:

The ConGu tool, available in this Eclipse plug-in, checks at run-time that the provided implementation correctly implements the specified ADT. If you run the random class test under ConGu monitoring, ConGu will check if the implementation behaves as required by the specification.

See these lecture notes to learn more about the approach to the specification of ADTs and the runtime monitoring supported by ConGu.

Additional specifications, refinements and partial implementations, prepared for the course assignments, are available and will be provided on request (just drop me an email).

Stacks

Queues

Dequeues

Lists

Binary Trees

Bags

Sorted Sets

Priority Queues

Maps