Verifying Transac.onal Programs with Programmer-‐Deﬁned Conﬂict Detec.on Omer Subasi, Serdar Tasiran (Koç University) Tim Harris (Microso - Koç University - Document - PDFSEARCH.IO

First Page	Meta Content
	Verifying Transac.onal Programs with Programmer-‐Deﬁned Conﬂict Detec.on Omer Subasi, Serdar Tasiran (Koç University) Tim Harris (Microso Add to Reading List Document Date: 2012-04-26 09:42:24 Open Document File Size: 979,06 KB Share Result on Facebook

Verifying Transac.onal Programs with Programmer-­‐Deﬁned Conﬂict Detec.on Omer Subasi, Serdar Tasiran (Koç University) Tim Harris (MicrosoAdd to Reading List