Verifying Compiler: Spec# Approach

Related lectures (32)

Page 1 of 4

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Introduces Vectorworks Educational Version for architectural drawings, covering tools, layers, and annotations.

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

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

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

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

Covers computational methods focusing on paths and strings, including examples of concatenation, regex elements, and string operations.

Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.

Discusses advanced data types in C, focusing on arrays and their characteristics.

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.