Taming Null References

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Inheritance in Object-Oriented Programming: Concepts and Implementation

Covers inheritance in object-oriented programming, focusing on class hierarchies and practical implementation examples.

Types and Inductive Relations

Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.

Virtual Machines: Memory Management and Control Flow

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

C++ Project Organization: Object-Oriented Programming

Introduces the C++ POP course objectives, focusing on project development and object-oriented programming techniques.

Pointers in C: Understanding Their Utility and Applications

Covers the definition and applications of pointers in C programming, emphasizing their role in memory management and generic programming.

Pointers: Strings, Functions, Casting

Covers pointers to strings, functions, and casting in C programming.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Hoare Logic: Foundations and Applications

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

Page 2 of 2