Sumários
Untyped and Typed arithmetic expressions
25 Setembro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Simple properties (proofs by induction)
Multistep evaluation
Typed arithmetic expressions
Implementation of simple types
Course overview & Untyped arithmetic expressions
18 Setembro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
- Syllabus, including objectives, bibliography, effort required to complete the course, and grading
- Overview of the major topics covered in the course
- Untyped arithmetic expressions
- Implementation of arithmetic expressions