Semantic analysis, subtyping and bidirectional type checking

20 Abril 2018, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Semantic analysis, subtyping and bidirectional type checking.

Bibliography:

• Lecture notes, Bidirectional Type Checking
• Modern Compiler Implementation in Java, chapter 5.

Semantic analysis, subtyping and bidirectional type checking

20 Abril 2018, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Semantic analysis, subtyping and bidirectional type checking.

Bibliography:

• Lecture notes, Bidirectional Type Checking
• Modern Compiler Implementation in Java, chapter 5.

Semantic analysis

13 Abril 2018, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Symbol tables. Semantic analysis, including variable declaration checking and type checking.

Bibliography: Modern Compiler Implementation in Java, chapter 5.

Semantic analysis

13 Abril 2018, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Symbol tables. Semantic analysis, including variable declaration checking and type checking.

Bibliography: Modern Compiler Implementation in Java, chapter 5.

Compiling for the Java Virtual Machine

6 Abril 2018, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

The Java Virtual Machine: Control instructions.
Biblio:

• The JavaTM Virtual Machine Specification, Java SE8 Edition
• Programming for the Java Virtual Machine, Joshua Engel, Addison-Wesley, 1999, Chapter 5

Compiling for the Java Virtual Machine.
Biblio:

• The Byte Code Engineering Library (Apache Commons BCEL™).

Coding assignment 3: A compiler for Plume V1. Code on April 30.