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

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