. "f22c80c6908a4dc5091eb677d098f1f3" . "Memory management"@en . . "Javier" . . "Proof assistants"@en . "de Dios" . "Type-based analysis"@en . "Formal certificates"@en . "Javier de Dios" .