- Give an as complete as possible set of Type Checking Rules for your language (those rules look very much like the SOS rules, but over types not values).
- Give an as complete as possible set of Type Checking Rules for your language (those rules look very much like the SOS rules, but over types not values).
...
@@ -34,6 +36,8 @@
...
@@ -34,6 +36,8 @@
- Compare your solution to the requirements (as stated in the README.md). What are your contributions to the implementation.
- Compare your solution to the requirements (as stated in the README.md). What are your contributions to the implementation.
Comment on the alignment of the concrete course goals (taken from the course description) to the theory presented, work You have done and knowledge You have gained. (I have put some comments in [...]).
Comment on the alignment of the concrete course goals (taken from the course description) to the theory presented, work You have done and knowledge You have gained. (I have put some comments in [...]).
...
@@ -67,3 +75,5 @@ Comment on the alignment of the concrete course goals (taken from the course des
...
@@ -67,3 +75,5 @@ Comment on the alignment of the concrete course goals (taken from the course des
- Code optimization and register allocation. Machine code generation for common architectures. [LLVM is a cross target compiler infrastructure, doing the "dirty work" of optimazation/register allocation leveraging the SSA form of the LLVM-IR]
- Code optimization and register allocation. Machine code generation for common architectures. [LLVM is a cross target compiler infrastructure, doing the "dirty work" of optimazation/register allocation leveraging the SSA form of the LLVM-IR]
Comment on additional things that you have experienced and learned throughout the course.
Comment on additional things that you have experienced and learned throughout the course.