A programming language for cross-platform software