[Why3-club] from equations to rewriting

Claude Marche Claude.Marche at inria.fr
Mon Mar 17 20:33:36 CET 2014


Hi,

A function defined by pattern-matching could be what you are looking 
for. Could you explain in more details, may be with an example, what you 
would like to do?

- Claude


On 03/17/2014 06:52 PM, Cláudio Amaral wrote:
> 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
>
>
> _______________________________________________
> Why3-club mailing list
> Why3-club at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club
>



More information about the Why3-club mailing list