Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Name Analysis: Compiler Phases and Symbol Tables
Graph Chatbot
Related lectures (32)
Scallion tutorial: building Parser[A]
Covers the basics of building Parser[A] using Scallion, LL(1) conflicts, and left factoring.
Type Checking and Reconstruction: Equations and Unification
Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.
How Classes are Organized
Covers how classes and objects are organized in packages, imports, Scala's class hierarchy, traits, top types, the Nothing type, exceptions, and includes an exercise on type determination.
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.
Multithreading: Code Generation and Type Checking
Log in to Mediaspace to watch this video
Covers multithreading, code generation, and type checking in compiler implementation.
Compilers: Challenges with Digital Signal Processors
Log in to Mediaspace to watch this video
Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.
WS1S Solver: Project Structure
Log in to Mediaspace to watch this video
Explores the project structure for solving WS1S formulas and planned additions.
CYK algorithm
Log in to Mediaspace to watch this video
Introduces the CYK algorithm for efficient syntactic analysis using chart parsing and discusses its complexity and bottom-up parsing technique.
Parsing: CYK Algorithm
Log in to Mediaspace to watch this video
Explores formal grammars, parsing algorithms, CYK algorithm efficiency, and syntactic correctness in Natural Language Processing.
Stochastic Parsing: Probabilistic Approach
Log in to Mediaspace to watch this video
Covers Stochastic Context-Free Grammars, probabilistic parsing, and the estimation of probabilities.
High-Order Functions: Unification Theory
Log in to Mediaspace to watch this video
Covers high-order functions, parser, and type checker concepts.
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.
Previous
Page 2 of 2
Next
