DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ODENSE UNIVERSITY En typisk loesning paa aar 2000-problemet Morten Heine Soerensen Department of Computer Science University of Copenhagen Tuesday, September 15, 1998, at 2:15 PM The Seminar Room De fleste har efterhaanden hørt om det saakaldte aar 2000-problem, der handler om at aar er repraesenteret med 2 cifre i megen software og hardware. F.eks. er det indevaerende aar repraesenteret som "98" i stedet for "1998". Det betyder at en raekke operationer ikke vil fungere i software og hardware, naar der opereres med aar efter aartusindeskiftet. Konsekvenserne kan være mange: kreditkort regnes fejlagtigt som udloebet, en checkdato for et missilanlaeg regnes fejlagtigt som passeret, osv. I foredraget vil jeg skitsere hvorledes en type-baseret programanalyse og -transformation kan hjaelpe med til at identificere og loese problemer i OS/VS Cobol-programmer. Hvis tiden tillader det, vil jeg ogsaa demonstrere et konkret produkt, AnnoDomini, der bygger paa denne analyse og transformation. Kim Skak Larsen