Compile-Time Flow Analysis of Transactions and Methods in Object-Oriented Databases

@inproceedings{GendlerFishman1997CompileTimeFA,
  title={Compile-Time Flow Analysis of Transactions and Methods in Object-Oriented Databases},
  author={Masha Gendler-Fishman and Ehud Gudes},
  booktitle={DBSec},
  year={1997}
}