Lazy Evaluation

Related lectures (32)

Page 2 of 4

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Explores nested functions, blocks, visibility rules, and lexical scoping in Scala.

Covers primitive expressions, evaluation processes, function applications, types, and evaluation strategies in programming.

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Covers lazy evaluation, memoization, interpreter implementation, code generation challenges, and potential extensions.

Explores the modeling of the '100 prisoners' problem and compares naive and optimal approaches.