A Formal Framework for the Derivation of Machine-Specific Optimizers

  • Authors:
  • Robert Giegerich

  • Affiliations:
  • Institut für Informatik, Technische Universität München, Postfach 202420, D-8000 München 2, W. Germany

  • Venue:
  • ACM Transactions on Programming Languages and Systems (TOPLAS)
  • Year:
  • 1983

Quantified Score

Hi-index 0.01

Visualization

Abstract