Denotational Semantics Example

vd

v

V

= 10 * V

+ V

d

V: NUM -> Int

0

1

2

3

4

5

6

7

8

9

= 0

= 2

= 4

= 6

= 8

= 1

= 3

= 5

= 7

= 9

Previous slide

Next slide

Back to first slide

View graphic version