On the Properties of Partial Completeness in Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. On the Properties of Partial Completeness in Abstract Interpretation. In Ugo Dal Lago, Daniele Gorla, editors, Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. Volume 3284 of CEUR Workshop Proceedings, pages 79-85, CEUR-WS.org, 2022. [doi]

This author has not been identified. Look up 'Marco Campion' in GoogleThis author has not been identified. Look up 'Mila Dalla Preda' in GoogleThis author has not been identified. Look up 'Roberto Giacobazzi' in Google

runs on WebDSL