Sign in

Types for atomicity: Static checking and inference for Java.

Cormac FlanaganStephen N. FreundMarina LifshinShaz Qadeer
Published in: ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
  • bayesian networks
  • programming language
  • object oriented
  • web services
  • lightweight
  • byte code