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

A Type and Effect System for Determinism in Multithreaded Programs.

Yi LuJohn PotterChenyi ZhangJingling Xue
Published in: ESOP (2012)
Keyphrases
  • multi user
  • data sets
  • neural network
  • image processing
  • hidden markov models
  • answer sets
  • fixpoint
  • java programs