Completed
Declarative Forms
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Safety in C++: All the Safeties - Lecture
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Memory Safety
- 3 Consumer Reports
- 4 National Cyber Security Strategy
- 5 EU Cyber Resilience Act
- 6 NSA Memory Safety
- 7 What is Memory Safety
- 8 What is Safety
- 9 Safety Properties
- 10 Liveness Property
- 11 Safety Property
- 12 Safety Property Methods
- 13 Memory Safe Language
- 14 Memory Safety Example
- 15 Whats the Problem
- 16 What is a Memory Safety Safe Language
- 17 Applying the Frame Rule to C
- 18 Where does this leave C
- 19 Understanding why software works
- 20 The illusion of safety
- 21 Can C be safe
- 22 Future of Software Development
- 23 Declarative Forms
- 24 Large Language Models
- 25 In desperation
