Sumários

Formalization of Type Checking + Semantic Analysis

9 Abril 2024, 13:00 • Alcides Fonseca


No class

26 Março 2024, 15:00 • Alcides Fonseca

There was no class this week (time to work on the project)

Abstract Syntax Trees

26 Março 2024, 13:00 • Alcides Fonseca

  • How to build ASTs
  • Styles of ASTs: untyped, typed, dependently-typed

Grammatical Analysis (pt2)

19 Março 2024, 15:00 • Alcides Fonseca

Parser Generators

  • ANTLR
  • Lex/Yacc
  • Alex/Happy
  • PLY
  • Lark

Grammatical Analysis (pt2)

19 Março 2024, 13:00 • Alcides Fonseca

  • LR(k) parsers
  • How to build an LR(k) parser