Re: Presberger arithmetic in compiler optimisation.

Bill Pugh, at Univ. Maryland, did the most work specifically dealing with
Presburger formula solutions as applied to compiler problems. Look at
http://www.cs.umd.edu.
He had several papers, see:
@INPROCEEDINGS{pugh.super.91,
      author = "William Pugh",
      title = "The {Omega} Test: A Fast and Practical Integer
      Programming Algorithm
  for Dependence Analysis",
      pages = "4--13",
      booktitle = super91,
      address = "Albuquerque, N.M.",
      month = nov,
      year = 1991,
  }


@ARTICLE{pugh.cacm.92,
      author = "William Pugh",
      title = "A Practical Algorithm for Exact Array Dependence Analysis",
      pages = "102--114",
      journal = cacm,
      year = 1992,
      volume = 35,
      number = 8,
      month = aug,
  }


@ARTICLE{pugh.loplas.92,
      author = "William Pugh",
      title = "Definitions of Dependence Distance",
      pages = "261--265",
      journal = loplas,
      year = 1992,
      volume = 1,
      number = 3,
      month = sep,
  }


@INPROCEEDINGS{pugh.pldi.92,
      author = "William Pugh and David Wonnacott",
      title = "Eliminating False Data Dependences Using the {Omega} Test",
      pages = "140--151",
      booktitle = pldi92,
      address = "San Francisco, Calif.",
      month = jun,
      year = 1992,
  }


-mw

Return to the comp.compilers page.
Search the comp.compilers archives again.