[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
system.

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

Regards
Cláudio
-------------- 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