This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
chord_notes [2007/06/20 00:47]
chord_notes [2007/06/20 01:28] (current)
Line 28: Line 28:
 Experimental results Experimental results
 +POPL'​07 extensions - sound, no annotations
 +  * separate method and thread creation context
 +  * disjoint reachability to check conditional may alias analysis
 +  * more precise escape analysis
 +  * may-happen in parallel analysis: if thread and call context can execute at the same time
 +  * intraprocedural must alias analysis for field accesses
 +Disjoint reachability analysis: approximate transitive closure of (o1,o2) such that there was some o1.f=o2 assignment during execution.