Concept
Assertion (software development)
Related lectures (18)
Data Abstraction: Rational Numbers
Covers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.
Linked Lists: Implementation and Iteration
Covers the implementation of linked lists in Java, focusing on operations and testing.
Memory Management: Allocation and Deallocation
Covers memory management, focusing on allocation and deallocation of memory blocks, including garbage collection techniques and fragmentation issues.
Memory Allocation in C
Covers the basics of memory allocation in C, including passing parameters by value and reference, dynamic arrays, and strings.
Linear Transformations: Matrices and Applications
Explores linear transformations, matrices, and their properties, including surjectivity, injectivity, and symmetry operations.
Memory Management & Crash Programs
Covers memory management for engineers, focusing on crash programs related to memory access errors.
Dynamic Memory Allocation: Basics and Examples
Explores dynamic memory allocation in C, covering stack vs. heap memory, helper functions, and practical examples.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Implementation of Singly Linked Lists
Covers the implementation of singly linked lists in Java, focusing on concepts such as nodes, size management, adding, removing, and getting elements.
Introduction to C Programming
Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.