Mutatis mutandis safe and predictable dynamic software updating
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.