0 Replies Latest reply on Apr 22, 2009 1:37 PM by 843810

    AST Abstract Syntax Tree

    843810
      Hi,
      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