Concept

Cyclone (programming language)

Related lectures (4)

Separation is all you need: Foundations for Modular Verification

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

Pointers: Basics and Applications

Covers the basics of pointers in C, including memory management, structures, functions, and arrays.

Pointers in C++

Introduces the fundamentals of pointers in C++, covering memory addresses, differences between references and pointers, and pointer arithmetic.

Pointers and Arrays: Memory Management in C

Explains the relationship between pointers and arrays in C, focusing on memory management and pointer arithmetic.