The Turner 2-Strings Machines

• Rafael Dueire Lins Universidade Federal Rural de Pernambuco / Universidade Federal de Pernambuco https://orcid.org/0000-0003-3497-5044

Resumo

This paper presents an abstract machine that can be easily used to teach intermediate and source code optimization, fundamental issues in a course on compiler construction techniques, bringing together theory and practice of computer science in a simple way.

Palavras-chave: Reports on teaching formal methods, Abstract machines, Intermediate code optimization, Source code optimization, code performance, benchmarking