Modularitet i strukturen af programmer -- de være sig de traditionelle, såsom Pascal's efterfølger som for eksempel Modula, C++ og Java, eller mere utraditionelle, som for eksempel Standard ML -- forstås som et begreb blandt andet ved hjælp af algebraiske modeller. Også selve en successivt leddelt programudvikling, med dens første trin af abstraktion efterfulgt af senere trins konkretisering, kan med fordel forstås algebraisk. Studiet af algebraisk semantik er derfor vigtigt for alle dataloger. Dette studie betjener sig af ikke-trivielle resultater fra blandt andet universal algebra og kategoriteori, gode klassiske matematiske discipliner.
Ved IT/DTU har især forskningsadjunkt Anne Haxthausen bidraget med en fin række arbejder indenfor dette basale område.