Find link

language:

Find link is a tool written by Edward Betts.

searching for Proof-carrying code 3 found (16 total)

EROS (microkernel) (1,571 words) [view diff] case mismatch in snippet view article

Berkeley, CA, USA. doi:10.1109/SECPRI.2000.848454. Lee, Peter. "Proof-Carrying Code". Archived from the original on September 22, 2006. Shapiro, Jonathan

W. Wallace McDowell Award (444 words) [view diff] exact match in snippet view article find links to article

spatial data structures and indexing, translation validation, and proof-carrying code. 2015 Viktor K. Prasanna For fundamental algorithmic and application

SIGPLAN (2,677 words) [view diff] case mismatch in snippet view article find links to article

Morrisett, David Walker, Karl Crary, and Neal Glew 2007 (for 1997): Proof-carrying Code by George Necula 2006 (for 1996): Points-to Analysis in Almost Linear