[Why3-club] from equations to rewriting
Claude.Marche at inria.fr
Mon Mar 17 20:33:36 CET 2014
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?
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).
> Why3-club mailing list
> Why3-club at lists.gforge.inria.fr
More information about the Why3-club