https://9pdf.org/document/q5mr137g-view-of-automatic-program-specialization-for-java.html