Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| 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] |
| 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
Return to the
comp.compilers page.
Search the
comp.compilers archives again.