[Why3-club] Why3 AST (abstract syntax tree) generator

mtkhan at risc.uni-linz.ac.at mtkhan at risc.uni-linz.ac.at
Fri Sep 14 11:54:18 CEST 2012


Hi All,

I need to translate into a AST for Why3. Is there some AST component of
Why3 available which can be integrated with Java?

Anticipated thanks.

regards,
taimoor




More information about the Why3-club mailing list