Volume 35; Issue 4

ACM Transactions on Programming Languages and Systems

Volume 35; Issue 4
2

Making the java memory model safe

Lochbihler, Andreas
Journal:
ACM Transactions on Programming Languages and Systems
Year:
2013
Language:
english
File:
PDF, 2.31 MB
english, 2013
3

Reachability analysis of program variables

Nikolić, Đurica, Spoto, Fausto
Journal:
ACM Transactions on Programming Languages and Systems
Year:
2013
Language:
english
File:
PDF, 3.76 MB
english, 2013