SPIRAL Infrastructure

• Breakdown Rules
  • Base Rules
  • Cooley-Tukey Rule
  • Ruletrees and SPL Revisited
• Search
  • Dynamic Programming
• Rewriting
  • Pattern Matching
  • Substitutions
  • Rules
  • Associative Rules
  • Rule Sets
  • Rule Strategies
  • General Mechanics
  • Implementing Recursive Descent: Visitors
  • SumsGen
  • CodeGen
  • C Pretty Printer
• Compiler
  • Compiling from Σ-SPL to icode
  • Basic Block Compiler
  • A Closer Look at Compiler Stages