Abstrakt
V článku je prezentováno kriterium vnitřní korektnosti XSLT programu jako kombinace dosažitelnosti a užitečnosti vzhledem k danému vstupnímu DTD a je popsán postup výpočtu dosažitelnosti a užitečnosti pro podmnožinu jazyka XSLT a konzervativní aproximace těchto vlastností pro zbylé konstrukce jazyka XSLT.