Abstract (Morten Heine Sørensen)
De fleste har efterhånden hørt om det såkaldte år
2000-problem, der handler om at år er repræsenteret med 2 cifre
i megen software og hardware. F.eks. er det indeværende år
repræsenteret som "98" i stedet for "1998". Det betyder at en række
operationer ikke vil fungere i software og hardware, når der opereres
med år efter årtusindeskiftet.
Konsekvenserne kan være mange: kreditkort regnes fejlagtigt som
udløbet, en checkdato for et missilanlæg regnes fejlagtigt som
passeret, osv.
I foredraget vil jeg skitsere hvorledes en type-baseret programanalyse
og -transformation kan hjælpe med til at identificere og løse
problemer i OS/VS Cobol-programmer. Hvis tiden tillader det, vil jeg også
demonstrere et konkret produkt, AnnoDomini, der bygger på
denne analyse og transformation.
Last modified: September 10, 1998.
Kim Skak Larsen
(kslarsen@imada.sdu.dk)