Re: eliminating array bounds checking overhead

d95josef@dtek.chalmers.se (Josef Sveningsson)
30 Apr 2000 00:19:53 -0400

          From comp.compilers

Related articles
[7 earlier articles]
Re: eliminating array bounds checking overhead nr@labrador.eecs.harvard.edu (2000-04-27)
Re: eliminating array bounds checking overhead terryg@uswest.net (Terry Greyzck) (2000-04-27)
Re: eliminating array bounds checking overhead fjscipio@rochester.rr.com (Fred J. Scipione) (2000-04-27)
Re: eliminating array bounds checking overhead sandeep@ddi.com (Sandeep Dutta) (2000-04-29)
Re: eliminating array bounds checking overhead tej@melbpc.org.au (Tim Josling) (2000-04-30)
Re: eliminating array bounds checking overhead markw65@my-deja.com (Mark Williams) (2000-04-30)
Re: eliminating array bounds checking overhead d95josef@dtek.chalmers.se (2000-04-30)
Re: eliminating array bounds checking overhead mayur_naik@my-deja.com (2000-04-30)
Re: eliminating array bounds checking overhead terryg@uswest.net (Terry Greyzck) (2000-05-01)
Re: eliminating array bounds checking overhead monnier+comp/compilers/news/@flint.cs.yale.edu (Stefan Monnier) (2000-05-01)
Re: eliminating array bounds checking overhead r_c_chapman@my-deja.com (2000-05-01)
Re: eliminating array bounds checking overhead markw65@my-deja.com (Mark Williams) (2000-05-04)
Re: eliminating array bounds checking overhead world!bobduff@uunet.uu.net (Robert A Duff) (2000-05-04)
[3 later articles]
| List of all articles for this month |

From: d95josef@dtek.chalmers.se (Josef Sveningsson)
Newsgroups: comp.compilers
Date: 30 Apr 2000 00:19:53 -0400
Organization: Chalmers univ. of Technology
References: 00-04-194 00-04-211
Keywords: optimize

I would like to point out yet another way of eliminating array bounds
checks. It can be done using dependent types. Hongwei Xi has done
some interesting research in this area:


http://www.cse.ogi.edu/~hongwei/


/Josef


Post a followup to this message

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