Login / Signup

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.

Thibault SuzanneAntoine Miné
Published in: SAS (2016)
Keyphrases
  • database systems
  • abstract interpretation
  • distributed systems
  • fine grained
  • business process