“formulation, programming, and applications”