August 25

Welcome to Compilers! (P423, P523, E313, E513)

Instructors: Jeremy and Caner
Roll call
What's a compiler?
Table of Contents of Essentials of Compilation
Assignments, Quizzes, Exams, Grading, Academic Integrity
Technology
- Canvas FA20: COMPILERS: 10222 Link to real course web page Grades
- Web page: https://iucompilercourse.github.io/IU-P423-P523-E313-E513-Fall-2020/
- Chat: Slack http://iu-compiler-course.slack.com/
- Email group: Piazza http://piazza.com/iu/fall2020/p423p523e313e513/home
- Lecture video: Zoom Meeting ID 950 3713 8921 Google Meet https://meet.google.com/pyt-eqtm-pqw
- Github repository for assignment submission, starter code
What to do when technology fails
- Zoom fails during lecture: communicate on slack, switch to Google Meet
- Github: communicate on slack, wait
- Technology glitches will not impact grades

Concrete Syntax, Abstract Syntax Trees, Racket Structures

Programs in concrete syntax and in ASTs

  42

  (read)

  (- 10)

  (+ (- 10) 5)

  (+ (read) (- (read)))

Racket structures

  (struct Int (value))
  (struct Prim (op arg*))

Grammars

Concrete syntax

  exp ::= int | (read) | (- exp) | (+ exp exp) | (- exp exp)
  R0 ::= exp

Abstract syntax

  exp ::= (Int int) | (Prim 'read '()) 
      | (Prim '- (list exp))
      | (Prim '+ (list exp exp))
  R0 ::= (Program '() exp)

Provide feedback