Skip to Main content Skip to Navigation
New interface
Conference papers

Introspecting continuations in order to update active code

Abstract : In the case of critical systems and dynamic environments, it is necessary to apply bug fixes and functional enhancements at runtime. Mainly due to technical difficulties, updating active code is usually considered impractical. Most of researches on dynamic software update therefore prevent changing active code. In this paper, we study how to express manipulations of the execution state in terms of operations on continuations, thus enabling update of active code. We explore how language support can help doing so in a type-safe manner thanks to specific operators.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Jérémy Buisson Connect in order to contact the contributor
Submitted on : Wednesday, July 7, 2010 - 7:40:24 PM
Last modification on : Saturday, May 1, 2021 - 3:54:26 AM
Long-term archiving on: : Tuesday, October 23, 2012 - 10:07:15 AM


Files produced by the author(s)



Jérémy Buisson, Fabien Dagnat. Introspecting continuations in order to update active code. International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩. ⟨hal-00498583⟩



Record views


Files downloads