Metadata
Author: ParaCrawl Corpus
Data
Czech[cs]
Hlavni metoda je zalozena na hledani tzv. numerickych mer (normech), jako jsou napriklad delky listu nebo nejdelsi cesty ve strome, a na zaklade vysledku analyzy tvaru odvozuje mnozinu zmen v normech, ktere jsou dale transformovany na aritmeticke prikazy.
English[en]
Its method is based on finding so called numerical measures (norms), such as lengths of lists or longest paths in trees, and based on results of shape analysis infer a set of changes, which are subsequently transformed to arithmetic statements.