DD2456 - Laboratory Exercise 3.
An Type Checker for the Typed Object Calculus with Subtypes
This exercise is designed to deepen your understanding of the object calculus. It will give you the chance to analyse the structure of Typed OC programs
1. Getting StartedYou can develop an OC type checker on any platform you wish, but consider that you will have to demonstrate your interpreter to me personally. In the past I have found that either a NADA Unix terminal or your own laptop in my office are the two easiest methods to use.
1.1. The Type Checker Requirements
The requirements on the OC type checker are as follows:
1.2. Evaluating your OC type checker
While you are constructing the OC type checker you should test it using some simple test cases of OC programs that you have type checked by hand. You should use positive examples (correctly typed) and negative examples (incorrectly typed). When you are finished you should develop one more extended OC program yourself to study OC type checking.
1.3. Lab Demonstration
When you are happy with your work, and you have finished and type checked at least
one extended OC program, you should make an appointment with me for a demonstration.
You can e-mail me for this.
It is not necessary for the whole lab team to attend, but you must inform me
of all team members if I am to assign them marks. The demo will not take more
than about 10-15 minutes. To pass the demo, your program must:
(a) not crash, even on bad input,
(b) show that it satisfies all of the above "shall" requirements.
There is no deadline for this lab, but be aware of the deadlines for LADOK points. Please do not wait until the last week of term and expect that I will have time to see you then!