TACAI: an intermediate representation based on abstract interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini. TACAI: an intermediate representation based on abstract interpretation. In Paddy Krishnan, Christoph Reichenbach, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020. pages 2-7, ACM, 2020. [doi]

This author has not been identified. Look up 'Michael Reif' in GoogleThis author has not been identified. Look up 'Florian Kübler' in GoogleThis author has not been identified. Look up 'Dominik Helm' in GoogleThis author has not been identified. Look up 'Ben Hermann' in GoogleThis author has not been identified. Look up 'Michael Eichberg' in GoogleThis author has not been identified. Look up 'Mira Mezini' in Google

runs on WebDSL