Fast allocation algorithms

  • Authors:
  • Dayid S. Johnson

  • Affiliations:
  • -

  • Venue:
  • SWAT '72 Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)
  • Year:
  • 1972

Quantified Score

Hi-index 0.01

Visualization

Abstract

This note defines a new equivalence relation among systems of recursion equations and a method for assigning context-free grammars to these systems, such that (1) The new equivalence implies strong equivalence; (2) Systems are equivalent in the new sense ...