3,763 followers
From mechanized semantics to verified compilation: the Clight semantics of CompCert. ~ Sandrine Blazy. https://t.co/iFrCRU20Pd #ITP #Coq
From mechanized semantics to verified compilation: the Clight semantics of CompCert. ~ Sandrine Blazy. https://t.co/iFrCRU20Pd #ITP #Coq