Automatic dimension inference and checking for object-oriented programs