Abstract. We consider sequential quadratic programming (SQP) methods applied to optimization problems with nonlinear equality constraints and simple bounds. In particular, we propose and analyze a truncated SQP algorithm in which subproblems are solved approximately by an infeasible predictor-corrector interior-point method, followed by setting to zero some variables and some multipliers so that complementarity conditions for approximate solutions are enforced. Verifiable truncation conditions based on the residual of optimality conditions of subproblems are developed to ensure both global and fast local convergence. Global convergence is established under assumptions that are standard for linesearch SQP with exact solution of subproblems. The local superlinear convergence rate is shown under the weakest assumptions that guarantee this property for pure SQP with exact solution of subproblems, namely, the strict Mangasarian-Fromovitz constraint qualification and second-order sufficiency. Local convergence results for our truncated method are presented as a special case of the local convergence for a more general perturbed SQP framework, which is of independent interest and is applicable even to some algorithms whose subproblems are not quadratic programs. For example, the framework can also be used to derive sharp local convergence results for linearly constrained Lagrangian methods. Preliminary numerical results confirm that it can be indeed beneficial to solve subproblems approximately, especially on early iterations. 1. Introduction. In this paper, we are concerned with truncated and perturbed versions of sequential quadratic programming (SQP) methods [5,27] for constrained optimization. We refer to an algorithm as a truncated SQP method if the solver for the SQP subproblem may be terminated early, producing an inexact solution. This is, in fact, a special case of the more general class of perturbed SQP methods, which we define as any approach where the iterates can be viewed, perhaps a posteriori, as approximate solutions to relevant SQP subproblems. We thus regard truncation as a special way of inducing perturbations. Our local convergence analysis allows other forms of perturbations as well and is also applicable to some methods that are not modifications of SQP as such. One example is the linearly constrained (augmented) Lagrangian method [42,39,18,33].We shall consider problems with equality constraints and simple bounds: