Sandro: Can you say why you believe that this is relevant for low-level systems languages and/or bitc?
shap On Thu, 2005-04-14 at 13:19 -0400, Sandro Magi wrote: > Recently came across LLVM (http://llvm.cs.uiuc.edu/), and was pretty > impressed. I found an interesting paper of theirs and thought I'd share > in case some people haven't seen it. Looks like these techniques would > be very applicable to bitc as a low-level systems language. > > Memory Safety Without Runtime Checks or Garbage Collection: > http://llvm.cs.uiuc.edu/pubs/2003-05-05-LCTES03-CodeSafety.html > > Sandro > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
