Martin Grabmüller: A Generic Model of Functional Programming With Dynamic Optimization, Draft Proceedings Seventh Symposium on Trends in Functional Programming (TFP 2006), Nottingham, England, April 2006.
This paper was presented in a talk.
16 pages, A4 paper, english.
Modern virtual machines for object-oriented machines use dynamic (run-time) compilation in order to ensure fast execution while maintaining security and portability of program code. Several virtual machine implementations using this compilation model have been implemented and are successfully used in practice, but to date no formal model of program execution and dynamic compilation has been published. This paper presents a formal framework for describing dynamically optimizing virtual machines in the context of purely functional programming languages.
This article is available electronically: [ PDF ]
@InProceedings{Grabmueller2006GenericFPDynOpt,
author = {Martin Grabm{\"u}ller},
title = {A Generic Model of Functional Programming With
Dynamic Optimization},
booktitle = {Draft Proceedings of the Seventh Symposium on Trends
in Functional Programming (TFP 2006)},
year = 2006,
editor = {Henrik Nilsson},
month = apr,
publisher = {University of Nottingham},
abstract = {Modern virtual machines for object-oriented machines
use dynamic (run-time) compilation in order to
ensure fast execution while maintaining security and
portability of program code. Several virtual machine
implementations using this compilation model have
been implemented and are successfully used in
practice, but to date no formal model of program
execution and dynamic compilation has been
published. This paper presents a formal framework
for describing dynamically optimizing virtual
machines in the context of purely functional
programming languages. }
}