Summer 2023 - CMPT 379 D100
Principles of Compiler Design (3)
Class Number: 4004
Delivery Method: In Person
Overview
-
Course Times + Location:
Mo 12:30 PM – 2:20 PM
SWH 10041, BurnabyWe 12:30 PM – 1:20 PM
SWH 10041, Burnaby -
Exam Times + Location:
Aug 11, 2023
12:00 PM – 3:00 PM
SWH 10041, Burnaby
-
Instructor:
Thomas Shermer
shermer@sfu.ca
-
Prerequisites:
(MACM 201 or CMPT 210), (CMPT 295 or ENSC 215) and CMPT 225, all with a minimum grade of C-.
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
- Cooper Torczon, Morgan Kaufmann
- 2011
- 2nd Edition
ISBN: 9780120884780
REQUIRED READING NOTES:
Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.
Registrar Notes:
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
SFU’s Academic Integrity website http://www.sfu.ca/students/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
RELIGIOUS ACCOMMODATION
Students with a faith background who may need accommodations during the semester are encouraged to assess their needs as soon as possible and review the Multifaith religious accommodations website. The page outlines ways they begin working toward an accommodation and ensure solutions can be reached in a timely fashion.