Lectures related to Assertion (software development)

Covers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Covers the implementation of linked lists in Java, focusing on operations and testing.

Covers the basics of memory allocation in C, including passing parameters by value and reference, dynamic arrays, and strings.

Covers the implementation of heterogeneous collections in C++ object-oriented programming, focusing on memory management and design choices.