Login / Signup

CUBA: interprocedural Context-UnBounded Analysis of concurrent programs.

Peizun LiuThomas Wahl
Published in: PLDI (2018)
Keyphrases
  • general purpose
  • databases
  • real time
  • knowledge based systems
  • concurrent programs