Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

First Page		Document Content
Date: 2015-10-19 04:32:35		Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting, Add to Reading List Source URL: pauillac.inria.fr Download Document from Source Website File Size: 365,93 KB Share Document on Facebook