Learn More
Typed intermediate languages and typed assembly languages for optimizing compilers require types to describe stack-allo c ted data. Previous type systems for stack data were either undecidabl e or(More)
  • 1