Login / Signup
Types for atomicity: Static checking and inference for Java.
Cormac Flanagan
Stephen N. Freund
Marina Lifshin
Shaz Qadeer
Published in:
ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
</>
bayesian networks
programming language
object oriented
web services
lightweight
byte code