Login / Signup

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.

Vineet Kahlon
Published in: LICS (2008)
Keyphrases
  • databases
  • parallel computing
  • database
  • real time
  • general purpose
  • concurrent programs