A course that gives a solid introduction to the mathematics of reduction systems - the basis of operational semantics and abstract machines. Optimization is achieved by changing the times at which computations are performed. This has a quite remarkable impact on software development because it allows the design of general and resuable software without the penalty of being too inefficient. This course gives a solid introduction to partial evaluation, compiler generation and other applications. Partial evaluation is an automatic program optimization technique, similar in concept to, but in several ways different from optimizing compilers.
Optimization is achieved by changing the times at which computations are performed.
This has a quite remarkable impact on software development because it allows the design of general and resuable software without the penalty of being too inefficient. This course gives a solid introduction to partial evaluation, compiler generation and other applications. Seminar on advanced topics of programming language theory and practice. Blandt emnerne kan n vnes registerallokering, schedulering, instruktionsvalg, data-flow analyse, spildopsamling og l kkeoptimeringer. Der kan ogs tages emner op efter deltagernes nsker.