Redirecting to Compilers: Principles, Techniques, and Tools