Grail²
Detta arbete är det första steget i en lång process vars slutgiltiga mål är att utveckla en metod för automatisk övergång från en icke-generisk objektorienterad applikation till en generisk.Helst borde stöd för en sådan transformation implementeras i en utvecklingsmiljö, IDE. En analogi skulle kunna dras till faktorisering av klasser, en operation som stöds av de flesta utvecklingsmiljöer idag. Som ett första steg i en pågående process är detta arbete tänkt att fungera som ett icke-trivialt exempel för framtida analys. Exemplet består av ett icke-generisk och ett generisk grafpaket som är skrivet i Java 1.4.2 respektive Java 5.0. Uppsatsen beskriver övergången från den icke-generiska till den generiska lösningen på systematiskt sätt som går att upprepa. Tanken är att detta arbete även skall kunna appliceras på andra språk och applikationer i framtiden.