2002/01/01 by Bruno Blanchet, Patrick Cousot, Radhia Cousot +6 · 1 citation
Computer Science · #Abstract interpretation #Arithmetic #Binary number #Code (set theory) #Computer engineering #Computer science #Embedded Systems Design Techniques #Embedded system #Formal Methods in Verification #Loop unrolling #Programming language #Representation (politics) #Set (abstract data type) #Simple (philosophy) #Software #Software Testing and Debugging Techniques #Spectrum analyzer #Static analysis #TRACE (psycholinguistics)
paper · doi:10.1007/3-540-36377-7_5
crossref issued 2002/01/01 · crossref published 2002/01/01 · crossref published-print 2002/01/01 · openalex publication_date 2002/01/01 · crossref published-online 2002/12/16 · crossref created 2007/06/06 · crossref deposited 2023/05/12 · openalex created_date 2025/10/10 · crossref indexed 2026/06/09 · openalex updated_date 2026/07/29