This discussion is archived
0 Replies Latest reply: Apr 22, 2009 6:37 AM by 843810 RSS

AST Abstract Syntax Tree

843810 Newbie
Currently Being Moderated
I'm working with java to make verification between two programs, but with the use of the sunthax tree in java it put package.class.object.variable to define the variable and to give something like that to a logic proover it doesn't understand it so i need to make translation from java to logic language, i don't know haw to do it, please help me.
dalhoumi S