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
