Login / Signup
Runtime Correctness Checking for Emerging Programming Paradigms.
Joachim Protze
Christian Terboven
Matthias S. Müller
Serge G. Petiton
Nahid Emad
Hitoshi Murai
Taisuke Boku
Published in:
CORRECTNESS@SC (2017)
Keyphrases
</>
programming paradigms
programming language
constraint logic programming
parallel programming
search algorithm
databases
high level
np hard