Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Blocks and Lexical Scopes
Graph Chatbot
Related lectures (26)
Previous
Page 2 of 3
Next
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
Nested Recursive Definitions
Explores nested recursive definitions using environments and the lifting of binary functions to work on values.
Programming Paradigms: Functional, OOP, Polymorphism
Explores programming paradigms like procedural, functional, and OOP, with examples in Python.
Recursive Functions: Examples and Applications
Explores recursive functions, including factorials and Fibonacci sequences, and their scope and namespaces.
Nested Classes: Modeling Grids and Cells
Covers nested classes in Java, focusing on modeling grids and cells for games.
Compiler Extension Lab
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
C++: Loops and Incrementation
Covers C++ loops, incrementation, and variable scope, with examples of evaluating expressions and reading input from the keyboard.
Functions and Methods: Reusability and Modularization
Explores functions, methods, reusability, and modularization in programming, covering decomposition, control structures, recursion, and ellipses for variable arguments.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
Compiling Expressions
Covers the conversion of expressions, evaluation using stack machines, and bytecode generation.
