Sign in

Using Meta-level Compilation to Check FLASH Protocol Code.

Andy ChouBenjamin ChelfDawson R. EnglerMark A. Heinrich
Published in: ASPLOS (2000)
Keyphrases
  • meta level
  • code generation
  • object level
  • distributed problem solving
  • domain knowledge
  • instruction scheduling
  • data sets