Denotational Semantics Example

123

V

= 10 * V

V: NUM -> Int

12

+ 3

= 10 * (10 * V 1 + 2 ) + 3

= 123

Previous slide

Next slide

Back to first slide

View graphic version