New programming language and tool ensures code will compute as intended