Stav dette: Exploiting semantics in parallel and distributed computations