Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Control-flow graph

Related lectures (30)

Boolean Types and Control Structures

Explores boolean types, logical operators, and control structures in Python, emphasizing the evaluation of expressions and the use of relational operators.

Python Programming Basics

Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.

Abstract Interpretation Idea

Covers abstract interpretation, fixpoints, control-flow graphs, and program state approximation.

Disasters, Successes, and Inductive Invariants

Explores software disasters, successful verifications, transition systems, and invariants in systems.

Meta-metaprogramming: Advanced Tools for Software Engineering

Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.

Static Analysis for Amy: Techniques and Implementations

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Program Optimizations and Abstract Interpretation Idea

Covers program optimizations, abstract interpretation, algebraic transformations, and interval analyses.

If-elif-else: Python Control Flow Statements

Explores Python's if-else statements, demonstrating their syntax and usage through examples.

Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.

Translating Control with Destination Parameters

Covers the efficient translation of control flow structures using branch destination parameters and the compilation of switch statements with breaks.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

C++: Break and Continue

Covers break and continue in C++, variable scope best practices, and examples.

Python Programming Basics

Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.

Converting Imperative Programs to Formulas

Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.

Introduction to Nonlinear Systems Control

Covers the analysis and control of nonlinear systems, including methods like phase plan and passivity.

The transhipment problem, The maximum flow problem MOOC: Optimization: principles and algorithms - Network and discrete optimization

Explores the maximum flow and transhipment problems in network optimization.

WASM Virtual Machine: Group 13 Log in to Mediaspace to watch this video

Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.

Python Crash Course Log in to Mediaspace to watch this video

Provides a Python crash course covering basic arithmetics, complex numbers, strings, lists, dictionaries, and more.

Dynamically Scheduled HLS: Program Analysis and Control Flow Log in to Mediaspace to watch this video

Explores Dynamically Scheduled HLS and imperative language compilation for dataflow machines.

Closure Conversion and Dataflow Analysis Log in to Mediaspace to watch this video

Explores closure conversion, function hoisting, and dataflow analysis for program optimization.