Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Chris Hathhorn Michela Becchi William L. Harrison Adam M. Procter

Published in: SSV (2012)

Keyphrases

formal semantics
er model
formal language
modeling language
general purpose
logical reasoning
logical language
first order logic
operational semantics
parallel implementation
modelling language
owl dl ontology
ontology languages
data model
software engineering
theorem prover