HELIX-UP: relaxing program semantics to unleash parallelization.

Simone Campanoni Glenn H. Holloway Gu-Yeon Wei David M. Brooks

Published in: CGO (2015)

Keyphrases

intended meaning
semantically equivalent
computer programs
declarative semantics
parallel processing
parallel computation
control flow
stable model semantics
control program
logic programs
logic programming
semantic information
formal semantics
programming language constructs