Z-Objects Denotational Interpreter And Compiler