23 Nov 1999 00:33:12 -0500

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) |

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.