Rice University Houston, Texas

COMP 412- Topics in Compiler Construction

Topics in the design of programming language translators, including parsing, run-time storage management, error recovery, code generation and optimization.

College: School of Engineering

Department: Computer Science

Pre-requisites: (COMP 314 OR ELEC 322 OR COMP 310 OR COMP 215) AND COMP 221

COMP 314-Applied Algorithms and Data Structures

COMP 310-Advanced Object-Oriented Programming and Design

COMP 215-Introduction to Program Design

COMP 221-Introduction to Computer Systems

В состав курса (17 лекций; были прочитаны Китом Купером и Линдой Торчсон в осеннем семестре 2013 года) вошли следующие разделы книги Engineering a Compiler (Second Edition) авторы Keith D. Cooper and Linda Torczon (Rice University Houston, Texas):

4. Контекстно-чувствительный анализ (4.1 Введение. 4.4 Синтаксически-управляемая трансляция) остальная часть главы не входит в курс)

5. Промежуточные представления

6. Процедура – основная абстракция языков высокого уровня (6.1 Введение. 6.2 Вызовы процедур. 6.3 Пространства имен. 6.4 Обмен данными между процедурами. 6.5 Редактиро-вание связей)

7. Форма [промежуточного] кода (Как выбрать промежуточный код для представления процедуры).

8. Введение в оптимизацию (8.4.1 Локальная нумерация значений. 8.5.1 Нумерация значений в суперблоках и по дереву доминирования. 8.5.2. Раскрутка циклов остальная часть главы не входит в курс)

11. Генерация кода (выбор инструкций, переписывание дерева, покадровая оптимизация)

12. Планирование кода (12.1 Вводные замечания. 12.2 Постановка задачи. 12.3 Локальное списочное планирование. 12.4. Планирование в областях)

13. Распределение регистров (только локальное)

Остальные разделы книги в курс не входят

The exam questions will be drawn from the following material:

1. All lectures, starting with lecture 1 to 17

2. The subject matter of programming exercises one (local register allocation) and three (local instruction scheduling)

3. The following sections in the textbook:

a. Sections 4.1 and 4.4

b. Chapter 5, except for section 5.4.2

c. Chapter 6, except for section 6.6

d. Chapter 7 except section 7.7

e. Sections 8.4.1, 8.5.1, and 8.5.2

f. Chapter 11, except for section 11.6

g. Chapter 12, except for section 12.6

h. Sections 13.1 through 13.4

Keith D. Cooper

Professor of Computer Science and Electrical and Computer Engineering

Programming Languages and Compiler Construction

Dr. Cooper conducts research on a variety of problems that arise in the design and implementation of compilers-tools that translate programs into an executable form. He works on problems in program analysis (reasoning during translation about the behavior of the running program) and in program transformation (rewriting the program during translation so that it executes more efficiently). His group focuses on problems that arise with uniprocessors, employed in commodity systems, in embedded systems, and in high-performance systems. Fortunately, changes in microprocessor design, system design, and programming languages create a steady stream of new problems in this area.

 Department of Electrical and Computer Engineering

 Ken Kennedy Institute for Information Technology