Mutatis mutandis safe and predictable dynamic software updating


15-Jun-2017 00:03

In contrast with previous work, our method M even accurate for certain programs that update cyclic data structures.

For example, our method can determine that when the input to a program that searches a list and splices in a new element is a possibly circular list, the output is a possibly circular list. Exception-handling mechanisms in modern programming languages provide a means to help software developers build robust applications by separating the normal control flow of a program from the control flow of the program under exceptional situations.

During his career, Hicks has published more than 80 refereed conference and journal papers, many in highly selective venues.

A specialized program solving a particular problem is often significantly faster than a general program. They want to write general and wellstructured programs that are flexible and easy to maintain.



Dynamic Software Updating. Neamtiu, I. Mutatis mutandis safe and predictable dynamic. of Safe Update Point Detection in Dynamic Software.… continue reading »


Read more

Provides type-safe dynamic updating of native. Mutatis mutandis safe and predictable dynamic. Safe and predictable dynamic software updating.… continue reading »


Read more

Set-based program analysis. Mutatis Mutandis Safe and predictable dynamic software updating. a core calculus that models dynamic software updating.… continue reading »


Read more

Programming language design. Mutatis Mutandis Safe and predictable dynamic software updating. safe and predictable dynamic software updating.… continue reading »


Read more

Read "A survey of dynamic software updating. Mutatis Mutandis Safe and predictable dynamic software updating. Stoyle, Stoyle; Hicks, Hicks; Bierman.… continue reading »


Read more