Login / Signup

Atomicity Refinement for Verified Compilation.

Suresh JagannathanVincent LaporteGustavo PetriDavid PichardieJan Vitek
Published in: ACM Trans. Program. Lang. Syst. (2014)
Keyphrases
  • multidatabase systems
  • electronic commerce
  • refinement process
  • nested transactions
  • artificial intelligence
  • acid properties
  • database
  • real time
  • databases
  • real world
  • response time
  • knowledge compilation
  • code generation