2005--2007: 'invariant based programming'; 'ARM machine code'; 'modelsled machine code'; 'tool support';
Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. ©2007 Advaith Siddharthan, Computer Laboratory, University of Cambridge. Please send any comments on this page to as372@cl.cam.ac.uk