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

Masha Gendler-Fishman, Ehud Gudes

Browse the full DBSEC paper archive.