Implementation of Abstract Machine in attribute grammars