Fingerprint

Dive into the research topics where L. Miljak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Concrete Syntax Metapatterns

    Miljak, L., Poulsen, C. B. & Corvino, R., 2024, SLE 2024 - Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2024. Laemmel, R., Pereira, J. A., Mosses, P. D. & Mosses, P. D. (eds.). ACM, p. 43-55 13 p. (SLE 2024 - Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2024).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    35 Downloads (Pure)
  • Verifying Well-Typedness Preservation of Refactorings using Scope Graphs

    Miljak, L., Poulsen, C. B. & van Spaendonck, F., 2023, FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs. Tomb, A. (ed.). ACM, p. 44-50 7 p. (FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    42 Downloads (Pure)