Synthesizing code for GPGPUs from abstract formal models.

Gabriel Hjort Blindell Christian Menne Ingo Sander

Published in: FDL (2014)

Keyphrases

formal models
formal model
rule based systems
source code
process model
high level
real world
decision trees
fuzzy logic
higher level
error detection