Fabian Carlström
Den här rapporten presenterar Featherweight Javas syntax och typregler. Featherweight Java är en liten modell av programmeringsspråket Java som har skapats för att detaljstudera vissa egenskaper hos Java. Efter presentationen av språket beskrivs en implementation av Featherweight Javas typregler som författaren har gjort. Implementationen demonstreras med ett exempel. Slutsatsen är att typreglerna är relativt rättframma att implementera även om vissa egenheter kvarstår i den implementation som har gjorts.
Featherweight Java is a minimal language designed to study some aspects of the Java programming language in detail. The report begins with a presentation of Featherweight Java's syntax and typing rules. It then proceeds to a discussion of an implementation that the author has made of Featherweight Java's typing rules. The implementation is demonstrated with an example. It is concluded that the process of implementing the typing rules is rather straightforward, though some imperfections remain in the implementation that was made for the purpose of this report.