Promotie: Type-Safe Generic Differencing of Mutually Recursive Families
Proefschrift van V. Cacciari Miraldo MSc
De UNIX diff tool, die het verschil tussen twee bestanden berekent in termen van de verzameling regels die gekopieerd worden, wordt veel gebruikt bij het versiebeheer van software. De vaste granulariteit, regels code, is helaas soms te grof en verhult eenvoudige wijzigingen. Bijvoorbeeld, door het hernoemen van een parameter van een functie kunnen vele verschillende regels veranderen. Dit proefschrift onderzoekt technieken en implementaties voor het detecteren van en redeneren over veranderingen in een fijnere granulariteit.
- Begindatum en -tijd
- Einddatum en -tijd
- Locatie
- Promovendus
- V. Cacciari Miraldo MSc
- Proefschrift
- Type-Safe Generic Differencing of Mutually Recursive Families
- Promotor(es)
- prof. dr. G.K. Keller
- Co-promotor(es)
- dr. W.S. Swierstra
- Meer informatie