This book deals with optimality conditions, algorithms, and discretization tech- niques for nonlinear programming, semi-infinite optimization, and optimal con- trol problems. The unifying thread in the presentation consists of an abstract theory, within which optimality conditions are expressed in the form of zeros of optimality junctions, algorithms are characterized by point-to-set iteration maps, and all the numerical approximations required in the solution of semi-infinite optimization and optimal control problems are treated within the context of con- sistent approximations and algorithm...