The Atlas Autocode programming language was developed at Manchester University for the Atlas Computer. It was an early forerunner to Algol featuring explicitly typed variables, subroutines and functions. Its runtime compiled code featured range-checking for array accesses, run-time stacking techniques to allow an array to have run-time dimensions (i.e. you could declare an array as Integer Array Thing (i:j}, where i and j were calculated values).
