3 research outputs found

    The Java Memory Model is Type Safe

    Get PDF

    Java memory model aware software validation

    No full text
    10.1145/1512475.1512478ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering8-1
    corecore