University of Singapore

Displaying 1-1 of 1 results

  • White Papers // Aug 2008

    Java Memory Model Aware Software Verification

    The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "Commit sequences" (roughly, the order in which actions in the execution are committed). In this...

    Provided By University of Singapore

  • White Papers // Aug 2008

    Java Memory Model Aware Software Verification

    The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "Commit sequences" (roughly, the order in which actions in the execution are committed). In this...

    Provided By University of Singapore