[bitc-dev] Relevant information

[Sandro Magi]

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