0 Replies Latest reply: Apr 22, 2009 8:37 AM by 843810 RSS

    AST Abstract Syntax Tree

      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