Pregledni rad

Operations research methods in compiler backends

D. Kästner
R. Wilhelm

Sažetak

Operations research can be defined as the theory of numerically
solving decision problems. In this context, dealing with optimization
problems is a central issue. Code generation is performed by the backend phase of a compiler, a program which transforms the source code of an application into optimized machine code. Basically, code generation is an optimization problem, which can be modelled in a way similar to typical problems in the area of operations research. In this article, that similarity is demonstrated by opposing integer linear programming models for problems of the operations research and of code generation. The time frame for solving the generated integer linear programs (ILPs) as a part of the compilation process is small. As a consequence, using well-structured ILP-formulations and ILP-based approximations is necessary. The second part of the paper will give a brief survey on guidelines and techniques for both issues.

Ključne riječi

Hrčak ID:

1767

URI

https://hrcak.srce.hr/1767

Datum izdavanja:

20.12.1998.

Posjeta: 1.339 *