## Guarantees can be converted without a scheduler, using rewrite rules

## Trivial examples:

- PSBE s d => PS s
- RESBH x y => RESBS x y

## Non-trivial examples:

- RESBS x y => RESCS x (2y-x+c) for any c = 0
- RESCS x y => PSBE (x/y) x/y (y-x)

Previous slide | Next slide | Back to first slide | View graphic version |