TY JOUR TI USE OF FINITE-STATE AUTOMATiON FOR GETTING UNIVERSAL INTERMEDIATE REPRESENTATION OF PROGRAM SOURCE CODE KW static analysis KW intermediate representation KW abstract machine KW finite-state automaton KW programming KW source code JO Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics AU Zubov, M.. AU Pustygin, A.. PY 2015 IS 2015 PB Astrakhan State Technical University