Programming tutorials

Choose a subject and follow its lessons.

Operation contracts, checked Python programs and connected learning resources.

A Java learning project connects several operation contracts into one executable application boundary with acceptance checks.

Operation contracts, checked Python programs and connected learning resources.

A Java reference summarizes method choices and failure boundaries while preserving implementation and version distinctions.

Operation contracts, checked Python programs and connected learning resources.

Java data-structure and algorithm programs preserve a representation invariant or a recurrence while making their input assumptions explicit.

Operation contracts, checked Python programs and connected learning resources.

Java collections supply membership, ordering and traversal contracts whose ownership, costs and concurrency behavior differ by implementation.

Operation contracts, checked Python programs and connected learning resources.

Operation contracts, checked Python programs and connected learning resources.

Operation contracts, checked Python programs and connected learning resources.

Operation contracts, checked Python programs and connected learning resources.