@TechReport{Anand-Carette-Kahl-2004a,
  author = {Christopher Kumar Anand and Jacques Carette and Wolfram Kahl and Cale Gibbard and Ryan Lortie},
  title =  {Declarative Assembler},
  institution =  {Software Quality Research Laboratory, McMaster University},
  year =   {2004},
  type =   {SQRL Report},
  number = {20},
  note =   {available from \textsf{http://sqrl.mcmaster.ca/sqrl_reports.html}},
  month =  OCT,
  abstract = {As part of a larger project, we have built a
      declarative assembly language.  This language enables us to specify
      multiple code paths to compute particular quantities, giving the
      instruction scheduler more flexibility in balancing execution
      resources for superscalar execution.  The instruction scheduler is
      also innovative in that it includes aggressive pipelining, and
      exhaustive (but lazy) search for optimal instruction schedules.  We
      present some examples where our approach has produced very promising
      results.}
}