Login / Signup

Runtime Correctness Checking for Emerging Programming Paradigms.

Joachim ProtzeChristian TerbovenMatthias S. MüllerSerge G. PetitonNahid EmadHitoshi MuraiTaisuke Boku
Published in: CORRECTNESS@SC (2017)
Keyphrases
  • programming paradigms
  • programming language
  • constraint logic programming
  • parallel programming
  • search algorithm
  • databases
  • high level
  • np hard