Lecture
Stainless Tutorial: Demo.scala Basics
Related lectures (28)
Applied Mechanical Design: Introduction
Introduces the complexities of design, emphasizing the ill-posed nature of problems and the iterative design process.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
Limits of Functions: Exercises and Definitions
Introduces real function analysis, emphasizing limits and series calculations.
Functions: AnonymousMOOC: Matlab & octave for beginners
Covers the concept of anonymous functions in MATLAB and Octave.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Class Hierarchies: Pattern Matching
Explores class hierarchies, case classes, enums, pattern matching, and function values in Scala.
Motivation: Limit of a FunctionMOOC: Analyse I
Explains the motivation behind the limit of a function and convergence criteria.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Abstract Interpretation in Stainless
Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Geometric Series: Basic ExampleMOOC: Analyse I
Covers the basic example of a geometric series and its convergence properties.