Peter D. Mosses

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 15

Top Topics

Programming Language

Lambda Calculus

Operational Semantics

Reusable Components

Top Venues

J. Log. Algebraic Methods Program.

Publications

Peter D. Mosses
Using Spoofax to Support Online Code Navigation. Eelco Visser Commemorative Symposium (2023)
Peter D. Mosses
Using Spoofax to Support Online Code Navigation. CoRR (2023)
Peter D. Mosses
Online Name-Based Navigation for Software Meta-languages. SLE (2023)
Peter D. Mosses
Online Name-Based Navigation for Software Meta-languages. CoRR (2023)
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
Intrinsically-typed definitional interpreters à la carte. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Peter D. Mosses
Fundamental Constructs in Programming Languages. CoRR (2021)
Peter D. Mosses
Fundamental Constructs in Programming Languages. ISoLA (2021)
Peter D. Mosses
Software meta-language engineering and CBS. J. Comput. Lang. 50 (2019)
L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe
Executable component-based semantics. J. Log. Algebraic Methods Program. 103 (2019)
Peter D. Mosses
A Component-Based Formal Language Workbench. F-IDE@FM (2019)
Peter D. Mosses
CoFI with Don Sannella. Theor. Comput. Sci. 741 (2018)
Casper Bach Poulsen, Peter D. Mosses
Flag-based big-step semantics. J. Log. Algebraic Methods Program. 88 (2017)
Peter D. Mosses
Engineering meta-languages for specifying software languages (keynote). SLE (2017)
L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses
Tool support for component-based semantics. MODULARITY (Companion) (2016)
Casper Bach Poulsen, Peter D. Mosses
Flag-Based Big-Step Semantics. CoRR (2016)
Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
Reusable Components of Semantic Specifications. LNCS Trans. Aspect Oriented Softw. Dev. 12 (2015)
Peter D. Mosses, Ferdinand Vesely
Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency (2015)
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
A Modular Structural Operational Semantics for Delimited Continuations. WoC (2015)
Peter D. Mosses
Semantics of programming languages: Using Asf+Sdf. Sci. Comput. Program. 97 (2015)
Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM (2015)
Peter D. Mosses, Ferdinand Vesely
FunKons: Component-Based Semantics in K. WRLA (2014)
Martin Churchill, Peter D. Mosses, Paolo Torrini
Reusable components of semantic specifications. MODULARITY (2014)
Casper Bach Poulsen, Peter D. Mosses
Deriving Pretty-Big-Step Semantics from Small-Step Semantics. ESOP (2014)
Martin Churchill, Peter D. Mosses
Modular Bisimulation Theory for Computations and Values. FoSSaCS (2013)
Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
Modular Semantics for Transition System Specifications with Negative Premises. CONCUR (2013)
Casper Bach Poulsen, Peter D. Mosses
Generating Specialized Interpreters for Modular Structural Operational Semantics. LOPSTR (2013)
Peter D. Mosses
VDM semantics of programming languages: combinators and monads. Formal Aspects Comput. 23 (2) (2011)
Adrian Johnstone, Peter D. Mosses, Elizabeth Scott
An agile approach to language modelling and development. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers
Robustness of Equations Under Operational Extensions EXPRESS (2010)
Rob J. van Glabbeek, Peter D. Mosses
Special issue on structural operational semantics. Inf. Comput. 207 (2) (2009)
Peter D. Mosses, Mark J. New
Implicit Propagation in Structural Operational Semantics. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Peter D. Mosses
Component-based semantics. SAVCBS (2009)
Peter D. Mosses
Component-Based Description of Programming Languages. BCS Int. Acad. Conf. (2008)
Marco Tulio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior
SBLP 2008: XII Brazilian Symposium on Programming. J. Univers. Comput. Sci. 14 (21) (2008)
Peter D. Mosses
VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems (2007)
Peter D. Mosses, Irek Ulidowski
Preface. Theor. Comput. Sci. 373 (3) (2007)
Rob J. van Glabbeek, Peter D. Mosses
Preface. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Mark van den Brand, Jørgen Iversen, Peter D. Mosses
An Action Environment. Sci. Comput. Program. 61 (3) (2006)
Peter D. Mosses
Constructive Action Semantics in OBJ. Essays Dedicated to Joseph A. Goguen (2006)
Peter D. Mosses, Irek Ulidowski
Preface. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Peter D. Mosses
Formal Semantics of Programming Languages: - An Overview - . Electron. Notes Theor. Comput. Sci. 148 (1) (2006)
Peter D. Mosses
A Constructive Approach to Language Definition. J. Univers. Comput. Sci. 11 (7) (2005)
Jørgen Iversen, Peter D. Mosses
Constructive Action Semantics for Core ML. IEE Proc. Softw. 152 (2) (2005)
Peter D. Mosses
Modular Language Descriptions. GPCE (2004)
Mark van den Brand, Jørgen Iversen, Peter D. Mosses
An Action Environment. Electron. Notes Theor. Comput. Sci. 110 (2004)
Mark van den Brand, Jørgen Iversen, Peter D. Mosses
The Action Environment: -- Tool Demonstration --. Electron. Notes Theor. Comput. Sci. 110 (2004)
Peter D. Mosses
Exploiting Labels in Structural Operational Semantics. Fundam. Informaticae 60 (1-4) (2004)
Peter D. Mosses
Exploiting labels in Structural Operational Semantics. SAC (2004)
Peter D. Mosses
Modular structural operational semantics. J. Log. Algebraic Methods Program. (2004)
Kyung-Goo Doh, Peter D. Mosses
Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47 (1) (2003)
Peter D. Mosses
Pragmatics of Modular SOS. AMAST (2002)
Peter D. Mosses
Action Semantics and ASF+SDF: System Demonstration. Electron. Notes Theor. Comput. Sci. 65 (3) (2002)
Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
Mapping Modular SOS to Rewriting Logic. LOPSTR (2002)
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286 (2) (2002)
Hélène Kirchner, Peter D. Mosses
Algebraic Specifications, Higher-order Types and Set-theoretic Models. J. Log. Comput. 11 (3) (2001)
Kyung-Goo Doh, Peter D. Mosses
Composing Programming Languages by Combining Action-Semantics Modules. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
Peter D. Mosses
The Varieties of Programming Language Semantics. Ershov Memorial Conference (2001)
Peter D. Mosses
The Varieties of Programming Language Semantics. IFIP TCS (2000)
Peter D. Mosses
A Foreword to 'Fundamental Concepts in Programming Languages'. High. Order Symb. Comput. 13 (1/2) (2000)
Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST (2000)
Peter D. Mosses
Logical Specification of Operational Semantics. CSL (1999)
Peter D. Mosses
Foundations of Modular SOS. MFCS (1999)
Hélène Kirchner, Peter D. Mosses
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST (1998)
Peter D. Mosses
CASL: A Guided Tour of Its Design. WADT (1998)
Peter D. Mosses
Semantics, modularity, and rewriting logic. WRLA (1998)
Peter D. Mosses
CoFI: The Common Framework Initiative for Algebraic Specification and Development. TAPSOFT (1997)
Arie van Deursen, Peter D. Mosses
ASD: The Action Semantic Description Tools. AMAST (1996)
Peter D. Mosses
CoFI: The Common Framework Initiative for Algebraic Specification. Bull. EATCS 59 (1996)
Gregory Kucherov, Pierre Lescanne, Peter D. Mosses
Valentin M. Antimirov (1961-1995). Theor. Comput. Sci. 155 (2) (1996)
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167 (1&2) (1996)
Peter D. Mosses
Theory and Practice of Action Semantics. MFCS (1996)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
-Logics. HOA (1995)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT (1995)
Valentin M. Antimirov, Peter D. Mosses
Rewriting Extended Regular Expressions. Theor. Comput. Sci. 143 (1) (1995)
Peter D. Mosses, Martin A. Musicante
An Action Semantics for ML Concurrency Primitives. FME (1994)
Valentin M. Antimirov, Peter D. Mosses
Rewriting Extended Regular Expressions. Developments in Language Theory (1993)
Arie van Deursen, Peter D. Mosses
Executing Action Semantic Descriptions using ASF+SDF. AMAST (1993)
Peter D. Mosses
Unified Algebras and Abstract Syntax. COMPASS/ADT (1992)
Padmanabhan Krishnan, Peter D. Mosses
Specifying Asynchronous Transfer of Control. FTRTFT (1992)
Peter D. Mosses
On the Action Semantics of Concurrent Programming Languages. REX Workshop (1992)
Peter D. Mosses
The Use of Sorts in Algebraic Specifications. COMPASS/ADT (1991)
Peter D. Mosses
A Practical Introduction to Denotational Semantics. Formal Description of Programming Concepts (1989)
Peter D. Mosses
Unified Algebras and Institutions LICS (1989)
Peter D. Mosses
Unified Algebras and Modules. POPL (1989)
Peter D. Mosses
Unified Algebras and Action Semantics. STACS (1989)
Peter D. Mosses
Unified Algebras. ADT (1988)
Peter D. Mosses, Gordon D. Plotkin
On Proving Limiting Completeness. SIAM J. Comput. 16 (1) (1987)
Peter D. Mosses, David A. Watt
The use of action semantics. Formal Description of Programming Concepts (1987)
Peter D. Mosses
Action Semantics. ADT (1986)
Peter D. Mosses
A Basic Abstract Semantic Algebra. Semantics of Data Types (1984)
Peter D. Mosses
A Solution to Problem 7 - Parallel Combinator Reduction Machine -. The Analysis of Concurrent Systems (1983)
Peter D. Mosses
Abstract Semantic Algebras. Formal Description of Programming Concepts (1982)
Peter D. Mosses
A Semantic Algebra for Binding Constructs. ICFPC (1981)
Peter D. Mosses
A constructive approach to compiler correctness. Semantics-Directed Compiler Generation (1980)
Peter D. Mosses
A Constructive Approach to Compiler Correctness. ICALP (1980)
Peter D. Mosses
Compiler Generation Using Denotational Semantics. MFCS (1976)
Peter D. Mosses
The Semantics of Semantic Equations. MFCS (1974)