[Why3-club] from equations to rewriting
coa at dcc.fc.up.pt
Mon Mar 17 18:52:10 CET 2014
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...
More information about the Why3-club