Personal profile

External positions

Professor Emeritus, Swansea University

1 Jan 2016 → …

Fingerprint

Dive into the research topics where P.D. Mosses 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
  • 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 volumeConference contributionScientificpeer-review

    Open Access
    File
    13 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 volumeConference contributionScientificpeer-review

    Open Access
    File
    17 Downloads (Pure)
  • Intrinsically-typed definitional interpreters à la carte

    van der Rest, C. R., Poulsen, C. B., Rouvoet, A. J., Visser, E. & Mosses, P. D., 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, p. 1903–1932 192.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    4 Citations (Scopus)
    32 Downloads (Pure)
  • 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 volumeConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 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 volumeConference contributionScientificpeer-review

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