The process of program specialization can be formalized to meet computing resource constraints, space and time constraints on the program, and specific environmental goals using a specification language like AXE-TL.