Verifying Well-Typedness Preservation of Refactorings using Scope Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck. Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. In Aaron Tomb, editor, Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023. pages 44-50, ACM, 2023. [doi]

This author has not been identified. Look up 'Luka Miljak' in GoogleThis author has not been identified. It may be one of the following persons:

Casper Bach Poulsen

Look up 'Casper Bach Poulsen' in GoogleThis author has not been identified. Look up 'Flip van Spaendonck' in Google

runs on WebDSL