[CST-2] Spec & Ver I

[Matthew Richards]

There's a model answer for this on the S&V web site:

http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Lectures/Revision.ps
, page 12.

Matthew


> -----Original Message-----
> From: cst-2-admin@srcf.ucam.org [mailto:cst-2-admin@srcf.ucam.org]On
> Behalf Of Rob Newsome
> Sent: Thursday, May 31, 2001 3:40 PM
> To: cst-2@srcf.ucam.org
> Subject: [CST-2] Spec & Ver I
>
>
> 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 }
>
>
>
> _______________________________________________
> CST-2 mailing list
> CST-2@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-2