3 ms·I think Ada, in its SPARK dialect, should be able to do this.by stefano 7y agoI think Ada, in its SPARK dialect, should be able to do this.