Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| [15 earlier articles] |
| 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) |
| Re: eliminating array bounds checking overhead paule@martex.gen.oh.us (Paul Evans) (2000-05-04) |
| Re: eliminating array bounds checking overhead d95josef@dtek.chalmers.se (Josef Sveningsson) (2000-05-12) |
| Re: eliminating array bounds checking overhead mtimmerm@opentext.nospam-remove.com (Matt Timmermans) (2000-05-12) |
| From: | Josef Sveningsson <d95josef@dtek.chalmers.se> |
| Newsgroups: | comp.compilers |
| Date: | 12 May 2000 22:32:21 -0400 |
| Organization: | Chalmers University of Technology |
| References: | 00-04-194 00-04-211 <200005120817.e4C8HhX27859@mamba.pond.sub.org> |
| Keywords: | performance, administrivia |
On Fri, 12 May 2000, Hannah Schroeter wrote:
> >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/
>
> That URL yields a 404 Not found.
Hmmmm, it worked when I posted. Well, this URL should be alright:
http://www.acm.org/pubs/citations/proceedings/pldi/277650/p249-xi/
Cheers
/Josef
Return to the
comp.compilers page.
Search the
comp.compilers archives again.