Lecture
Interpreter: Arithmetic Expressions
Related lectures (27)
Encoding Recursion as Self-Application
Explores lambda calculus, higher-order functions, and recursive function encoding.
Operational Semantics: Amyli Language
Explores operational semantics and inductively defined relations in the Amyli language.
Python Programming: Control Structures and Functions
Covers advanced topics in Python programming, focusing on control structures and functions.
Interpreters and Virtual Machines
Explores interpreters and virtual machines, discussing their advantages, types, and optimization techniques.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
Functional Programming Principles
Covers the principles and benefits of functional programming, emphasizing immutable data and functions.
Programming Concepts: Variables and Expressions
Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.
Parsing: CYK Algorithm
Explores formal grammars, parsing algorithms, CYK algorithm efficiency, and syntactic correctness in Natural Language Processing.
Recursive Functions in C++
Covers the principles and implementation of recursive functions in C++.
Error Handling and Exceptions
Covers error management, exceptions, and debugging techniques in C++, emphasizing the importance of making code more robust and easier to debug.