Presberger arithmetic in compiler optimisation.

john green <ap1jjg@gold.cics.shef.ac.uk>
23 Nov 1999 00:33:12 -0500

          From comp.compilers
Related articles
Presberger arithmetic in compiler optimisation. ap1jjg@gold.cics.shef.ac.uk (john green) (1999-11-23)
Re: Presberger arithmetic in compiler optimisation. league@contrapunctus.net (Christopher League) (1999-11-23)
Re: Presberger arithmetic in compiler optimisation. mwolfe@pgroup.com (1999-11-23)
Re: Presberger arithmetic in compiler optimisation. danich@cs.rice.edu (Daniel G. Chavarria) (1999-11-23)
| List of all articles for this month |
From: john green <ap1jjg@gold.cics.shef.ac.uk>
Newsgroups: comp.compilers
Date: 23 Nov 1999 00:33:12 -0500
Organization: Sheffield University, UK
Keywords: arithmetic, question

Hello all.


I am interested in the Presberger arithmetic, the first order
arithmetic of linear equalities, inequalities and disequalities with
coefficients and solutions in the integers. For example


  (Exists y) x = 2*y + 1


has the odd integers as solutions for x.


In the literature I often see mention of applications in compiler
optimisation, but have found little in the literature. Could anyone
point me to references?


Many thanks


Jim Green
--
J.J.Green, Dept. Applied Math. University of Sheffield, UK
http://www.arbs.demon.co.uk

Post a followup to this message

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