No photo of P.D. Mosses

View Scopus Profile

P.D. Mosses

Prof.dr.

 https://orcid.org/0000-0002-5826-7520
  • 4 Conference contribution
  • 3 Article
Filter
Conference contribution

Search results

  • 2023

    Online Name-Based Navigation for Software Meta-languages

    Mosses, P. D., 2023, SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering. New York: Association for Computing Machinery (ACM), p. 220–225 6 p. SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    18 Downloads (Pure)

  • Using Spoofax to Support Online Code Navigation

    Mosses, P. D., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12 p. 21. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    18 Downloads (Pure)
  • 2021

    Fundamental Constructs in Programming Languages

    Mosses, P. D., 2021, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer, p. 296-321 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13036 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    2 Citations (Scopus)
  • 2019

    A Component-Based Formal Language Workbench

    Mosses, P. D., 23 Dec 2019, Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. Monahan, R., Prevosto, V. & Proença, J. (eds.). Cornell University Library - arXiv.org, Vol. 310. p. 29-34 6 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    6 Citations (Scopus)
    47 Downloads (Pure)