Login / Signup

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.

Thibault SuzanneAntoine Miné
Published in: APLAS (2018)
Keyphrases
  • data model
  • abstract interpretation
  • database systems
  • relational databases
  • metamodel