Beyond the PDP-11: Processor support for a memory-safe C abstract machine [pdf]cl.cam.ac.uk51 pointsjsnell11 years ago