Marina Lifshin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer: Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30(4): (2008)

2005

1 Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58

	2008
2		Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer: Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30(4): (2008)
	2005
1		Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page