Peter D. Mosses - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Peter D. Mosses' as author, editor, or advisor:

Online Name-Based Navigation for Software Meta-languagesPeter D. Mosses. SLE 2023: 220-225 [doi]
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005Peter D. Mosses, Irek Ulidowski, editors, Volume 156 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2024, Pasadena, CA, USA, October 20-21, 2024Ralf Lämmel, Juliana Alves Pereira, Peter D. Mosses, editors, ACM, 2024. [doi]
Fundamental Constructs in Programming LanguagesPeter D. Mosses. ISoLA 2021: 296-321 [doi]
Towards Verification of a Denotational Semantics of InheritancePeter D. Mosses. BIRTHDAY 2024: 5-13 [doi]
Intrinsically-typed definitional interpreters à la carteCas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses. PACMPL, 6(OOPSLA2):1903-1932, 2022. [doi]
Using Spoofax to Support Online Code NavigationPeter D. Mosses. BIRTHDAY 2023: [doi]
Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The NetherlandsRalf Lämmel, Peter D. Mosses, Friedrich Steimann, editors, Volume 109 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006Rob van Glabbeek, Peter D. Mosses, editors, Volume 175 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]

runs on WebDSL