Foundations of Software: Modeling Programming Languages

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Syntax Trees: Parse vs AST

Explains syntax trees, parse vs AST, while language syntax, AST classes, and grammar ambiguities.

Name Analysis: Compiler Phases and Symbol Tables

Explores compiler phases and symbol tables' role in mapping variables to declarations.

LL(1) Parsing

Covers LL(1) parsing, formalization, automation, constraints, and parsing tables.

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

The Story of Grace Hopper MOOC: The Thymio robot as a tool for discovering digital science

Delves into binary language and Grace Hopper's contributions to programming.

Simply Typed Lambda Calculus: Foundations and Properties Log in to Mediaspace to watch this video

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Language Theory into Practice Log in to Mediaspace to watch this video

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Variables & Operators Log in to Mediaspace to watch this video

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Variables and Types: Introduction to C Programming Log in to Mediaspace to watch this video

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

Tuples: Desugaring and Implementation Log in to Mediaspace to watch this video

Covers the implementation details of tuples in Scala, including desugaring, lexical analysis, parsing, and code generation.

Page 2 of 2