A number of interesting technical papers about how to make something like C 
into a safer low-level language without changing it and without adding a 
whole bunch of run-time checks and stuff.

http://safecode.cs.illinois.edu/pubs.html

(For example, in the dangling pointer prevention, they map each allocation 
to a new virtual page, even if the same physical page gets reused a bunch.)
Funky stuff.

-- 
Darren New, San Diego CA, USA (PST)
    C# - a language whose greatest drawback
    is that its best implementation comes
    from a company that doesn't hate Microsoft.

Post a reply to this message