Re: [isabelle] Is there example to use Backward Hoare and Forward Floyd to find subgoal from goal



I found Chapter 12 of Concrete Semantics [1] and the paper Forward With
Hoare [2] useful.

[1] http://www.concrete-semantics.org/
[2] http://www.cl.cam.ac.uk/~mjcg/Hoare75/paper.pdf
On Apr 23, 2015 5:46 PM, "Mandy Martin" <tesleft at hotmail.com> wrote:

> Hi  sir,
> Is there example to use Backward Hoare and Forward Floyd to find subgoal
> from goal?
>
> Regards,
> Martin Lee



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.