Implementation of while language in attribute grammars