From High-Level Specification to High-Performance Code.

Franz Franchetti José M. F. Moura David A. Padua Jack J. Dongarra

Published in: Proc. IEEE (2018)

Keyphrases

high level
source code
low level
code generation
programming language
higher level
low level features
lower level
coarse grained
conceptual model
formal specification
open source
object level
specification language