The Turner 2-Strings Machines

2026-01-01

0

PRE

AI

DOI：10.1007/978-3-032-12086-1_12

原文求助

摘要

En 中文

本文提出了一种抽象机，可以轻松用于教授中间代码和源代码优化，这是编译器构造技术课程中的基本问题，以简单的方式将计算机科学的理论与实践相结合。

Keyword:

Reports on teaching formal methods

Abstract machines

Intermediate code optimization

Source code optimization

code performance

benchmarking