[CST-2] Spec & Ver I

[Rob Newsome]

1999 Paper 8 Question 2...

Explain how to translate this into higher-oder logic:

{X=x & Y=y} TEMP:=X; X:=Y; y:=TEMP {X=y & Y=x}

        (http://www.cl.cam.ac.uk/tripos/y1999p8q2.pdf)


Prolly just being a bit stupid, but can't figure out how to do it
properly... it's been a while. Can anyone go through it briefly?

TIA,
Rob


--
Rob Newsome              { mob: 07879 898 607 }
Corpus Christi College   { rob@robnewsome.com }
Cambridge University     { www.robnewsome.com }