[Why3-club] from equations to rewriting

Cláudio Amaral coa at dcc.fc.up.pt
Mon Mar 17 18:52:10 CET 2014

Hello all

I would like to know if there is a way to specify the desired
directionality of an equation to define the rules wanted as in a rewriting

What is supposed to be rewritten are data structures (kind of suntax trees).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/why3-club/attachments/20140317/cc1b8041/attachment.html>

More information about the Why3-club mailing list