Skype Meeting 03052016 » History » Version 1
Antti Hyvärinen, 17/05/2016 18:16
| 1 | 1 | Antti Hyvärinen | h1. Skype Meeting 03/05/2016 |
|---|---|---|---|
| 2 | |||
| 3 | Why we need combination of theories, multipication of non-constants |
||
| 4 | |||
| 5 | Short Code example: |
||
| 6 | t1 = x*y; |
||
| 7 | x' = x; |
||
| 8 | y'= y; |
||
| 9 | t2 = x'*y'; |
||
| 10 | assert(t1 != t2); |
||
| 11 | |||
| 12 | Solution: t1 = f(x, y) |