An inductive abstract semantics for coFJ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pietro Barbieri, Francesco Dagnino, Elena Zucca. An inductive abstract semantics for coFJ. In Wytse Oortwijn, editor, FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. pages 4-9, ACM, 2020. [doi]

This author has not been identified. Look up 'Pietro Barbieri' in GoogleThis author has not been identified. Look up 'Francesco Dagnino' in GoogleThis author has not been identified. Look up 'Elena Zucca' in Google

runs on WebDSL