Timestamp Based Execution Control for C and Java Programs

Kazutaka Maruyama, Minoru Terada

Many programmers have had to deal with an overwritten variable resulting for example from an aliasing problem. The culprit is obviously the last write-access to that memory locatio…