Francesco Tapparo
- Generalized Strong Preservation by Abstract Interpretation
2004/01/21 by Francesco Ranzato, Ranzato, Francesco, Francesco Tapparo +1 · 1 citation
Computer Science · #D.2.4 #F.3.1 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning and Algorithms #Programming Languages (cs.PL) #cs.LO #cs.PL