A Generic Model of Functional Programming With Dynamic Optimization

Published on April, 2006

Information

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.

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.

Download

This article is available electronically: [ PDF ]

BibTeX Entry

@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. }
}