Efektianalüüsidel põhinevate programmiteisenduste sertifitseerimine. Certification of effect-analysis based program transformations