Local convergence analysis of stabilized sequential quadratic programming methods for optimization problems in Banach spaces | Synapse