Simon Fraser University
Engaging the World

Course Outlines

Spring 2018 - CMPT 379 D100

Principles of Compiler Design (3)

Class Number: 10806

Delivery Method: In Person

Overview

  • Course Times + Location:

    Jan 3 – Apr 10, 2018: Tue, 11:30 a.m.–1:20 p.m.
    Burnaby

    Jan 3 – Apr 10, 2018: Thu, 11:30 a.m.–12:20 p.m.
    Burnaby

  • Exam Times + Location:

    Apr 18, 2018
    Wed, 12:00–3:00 p.m.
    Burnaby

  • Prerequisites:

    MACM 201, (CMPT 150, CMPT 295 or ENSC 215) and CMPT 225.

Description

CALENDAR DESCRIPTION:

This course covers the key components of a compiler for a high level programming language. Topics include lexical analysis, parsing, type checking, code generation and optimization. Students will work in teams to design and implement an actual compiler making use of tools such as lex and yacc.

COURSE DETAILS:

This course covers the theoretical foundations as well as practical techniques for the construction of a compiler for a high-level programming language. Topics include lexical analysis, parsing, type checking, code generation and optimization. Students will implement an actual compiler for a high-level programming language.

Topics

  • Formal-language theory: alphabets, words, languages, regular expressions, finite automata
  • Compiler design and implementation principles
  • Lexical Analysis: scanners, symbol tables
  • Parsing: context-free grammars, parse trees, ambiguity, top-down and bottom-up parsing
  • LL(1) parsing: efficient top-down parsing, left-factoring
  • Shift-reduce and table-driven parsers: bottom-up parsing
  • Type checking: typing rules, types as inferencing rules, Context checking for programs
  • Context and code generation: from high-level to machine code
  • Introduction to optimization: local, global, and interprocedural.

Grading

NOTES:

The grade distribution will be handed out at the start of classes.

Students must attain an overall passing grade on the weighted average of exams in the course in order to obtain a clear pass (C- or better).

Materials

MATERIALS + SUPPLIES:

Reference Books

  • Compilers: Principles, Techniques and Tools, A.V. Aho, M.S. Lam, R. Sethi, J.D. Ullman, Addison-Wesley, 2007, 9780321486813, 2nd edition (the purple dragon book).
  • Programming Language Pragmatics, M.L. Scott, Morgan-Kaufmann, 2006, 9780126339512, 2nd Edition

REQUIRED READING:

Engineering a Compiler, 2nd Edition
Cooper, Torczon,
Morgan Kaufmann, 2011
ISBN: 9780120884780

Registrar Notes:

SFU’s Academic Integrity web site http://students.sfu.ca/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating.  Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the University community.  Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS