Using Meta-level Compilation to Check FLASH Protocol Code.

Andy Chou Benjamin Chelf Dawson R. Engler Mark A. Heinrich

Published in: ASPLOS (2000)

Keyphrases

meta level
code generation
object level
distributed problem solving
domain knowledge
instruction scheduling
data sets