• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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