Login / Signup

Inferring Types for Parallel Programs.

Francisco MartinsVasco Thudichum VasconcelosHans Hüttel
Published in: PLACES@ETAPS (2017)
Keyphrases
  • data structure
  • sorting algorithms
  • bayesian networks
  • source code
  • parallel processing
  • parallel computation
  • high level programming language