Principled Dynamic Code Improvement

Authors:

John Peterson, Paul Hudak, and Gary Shu Ling

Abstract:

A method for dynamically updating running code is described.  The method is "principled" in that old functionality is not destroyed.  Rather, new functionality is added which can selectively and dynamically change the overall behavior of the system, yet all formal properties of the original system are guaranteed to still hold.  Higher-order functions are the key to making this work, and an implementation in Hugs, a Haskell byte-code interpreter, is described.

Bibtex:

 @TechReport{dynamic-code
  ,author={John Peterson and Paul Hudak and Gary Shu Ling}
  ,title={Principled Dynamic Code Improvement}
  ,institution={Yale University, Department of Computer Science}
  ,month=Jul
  ,year=1997
  ,type={Research Report}
  ,number={YALEU/DCS/RR-1135}
} 

Links:

DynCode-TR.pdf