lecture09
web.stanford.edu · 3,031 words · saved by 1 readers
N/A
Overview of Semantic Analysis and Type Checking I CS143 Lecture 9 Instructor: Fredrik Kjolstad Slide design by Prof. Alex Aiken, with modifications 1 Midterm Thursday • Material through lecture 8 • Open note, except computation • Held in class on Thursday 2 Outline • The role of semantic analysis in a compiler – A laundry list of tasks • Scope – Implementation: symbol tables • Types…
related reading
- lecture10web.stanford.edu
- Type system - Wikipediaen.wikipedia.org
- cool-manual.pdfweb.stanford.edu
- 2. Variable and Type - CS2030S Programming Methodology IInus-cs2030s.github.io
- What Is Linting + When to Use Lint Tools | Perforce Softwareperforce.com
- "We're building a new static type checker for Python" | Hacker Newsnews.ycombinator.com
- TypeScript: Documentation - The Basicstypescriptlang.org
- A Gentle Introduction to LLVM IR · mcyoungmcyoung.xyz
- No, dynamic type systems are not inherently more openlexi-lambda.github.io
- lecture13web.stanford.edu
- Static typing - Glossary | MDNdeveloper.mozilla.org
- What even is compiler correctness?williamjbowman.com