Peter D. Mosses

According to our database, Peter D. Mosses authored at least 90 papers between 1974 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Towards Verification of a Denotational Semantics of Inheritance.

Peter D. Mosses

Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, 2024

2023

Online Name-Based Navigation for Software Meta-languages.

Peter D. Mosses

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Using Spoofax to Support Online Code Navigation.

Peter D. Mosses

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Intrinsically-typed definitional interpreters à la carte.

Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses

Proc. ACM Program. Lang., 2022

2021

Fundamental Constructs in Programming Languages.

Peter D. Mosses

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2019

Software meta-language engineering and CBS.

Peter D. Mosses

J. Comput. Lang., 2019

Executable component-based semantics.

L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe

J. Log. Algebraic Methods Program., 2019

A Component-Based Formal Language Workbench.

Peter D. Mosses

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

2018

CoFI with Don Sannella.

Peter D. Mosses

Theor. Comput. Sci., 2018

2017

Flag-based big-step semantics.

Casper Bach Poulsen, Peter D. Mosses

J. Log. Algebraic Methods Program., 2017

Engineering meta-languages for specifying software languages (keynote).

Peter D. Mosses

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2016

Tool support for component-based semantics.

L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Reusable Components of Semantic Specifications.

Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini

LNCS Trans. Aspect Oriented Softw. Dev., 2015

Semantics of programming languages: Using Asf+Sdf.

Peter D. Mosses

Sci. Comput. Program., 2015

A Modular Structural Operational Semantics for Delimited Continuations.

Neil Sculthorpe, Paolo Torrini, Peter D. Mosses

Proceedings of the Workshop on Continuations, 2015

Imperative Polymorphism by Store-Based Types as Abstract Interpretations.

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Weak Bisimulation as a Congruence in MSOS.

Peter D. Mosses, Ferdinand Vesely

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

FunKons: Component-Based Semantics in K.

Peter D. Mosses, Ferdinand Vesely

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Deriving Pretty-Big-Step Semantics from Small-Step Semantics.

Casper Bach Poulsen, Peter D. Mosses

Proceedings of the Programming Languages and Systems, 2014

Reusable components of semantic specifications.

Martin Churchill, Peter D. Mosses, Paolo Torrini

Proceedings of the 13th International Conference on Modularity, 2014

2013

Generating Specialized Interpreters for Modular Structural Operational Semantics.

Casper Bach Poulsen, Peter D. Mosses

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Modular Bisimulation Theory for Computations and Values.

Martin Churchill, Peter D. Mosses

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Modular Semantics for Transition System Specifications with Negative Premises.

Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2011

VDM semantics of programming languages: combinators and monads.

Peter D. Mosses

Formal Aspects Comput., 2011

2010

An agile approach to language modelling and development.

Adrian Johnstone, Peter D. Mosses, Elizabeth Scott

Innov. Syst. Softw. Eng., 2010

Robustness of Equations Under Operational Extensions

Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

2009

Special issue on structural operational semantics.

Rob J. van Glabbeek, Peter D. Mosses

Inf. Comput., 2009

Component-based semantics.

Peter D. Mosses

Proceedings of the SAVCBS'09, 2009

2008

SBLP 2008: XII Brazilian Symposium on Programming.

Marco Túlio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior

J. Univers. Comput. Sci., 2008

Implicit Propagation in Structural Operational Semantics.

Peter D. Mosses, Mark J. New

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

Component-Based Description of Programming Languages.

Peter D. Mosses

Proceedings of the Visions of Computer Science, 2008

2007

Preface.

Peter D. Mosses, Irek Ulidowski

Theor. Comput. Sci., 2007

2006

An Action Environment.

Mark van den Brand, Jørgen Iversen, Peter D. Mosses

Sci. Comput. Program., 2006

Preface.

Rob J. van Glabbeek, Peter D. Mosses

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Constructive Action Semantics in OBJ.

Peter D. Mosses

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

A Constructive Approach to Language Definition.

Peter D. Mosses

J. Univers. Comput. Sci., 2005

Constructive Action Semantics for Core ML.

Jørgen Iversen, Peter D. Mosses

IEE Proc. Softw., 2005

2004

Modular structural operational semantics.

Peter D. Mosses

J. Log. Algebraic Methods Program., 2004

Exploiting Labels in Structural Operational Semantics.

Peter D. Mosses

Fundam. Informaticae, 2004

Formal Semantics of Programming Languages: - An Overview - .

Peter D. Mosses

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

The Action Environment: -- Tool Demonstration --.

Mark van den Brand, Jørgen Iversen, Peter D. Mosses

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

Modular Language Descriptions.

Peter D. Mosses

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language

Peter D. Mosses

Lecture Notes in Computer Science 2960, Springer, ISBN: 3-540-21301-5, 2004

Casl User Manual - Introduction to Using the Common Algebraic Specification Language

Michel Bidoit, Peter D. Mosses

Lecture Notes in Computer Science 2900, Springer, ISBN: 3-540-20766-X, 2004

2003

Composing programming languages by combining action-semantics modules.

Kyung-Goo Doh, Peter D. Mosses

Sci. Comput. Program., 2003

2002

CASL: the Common Algebraic Specification Language.

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki

Theor. Comput. Sci., 2002

Action Semantics and ASF+SDF: System Demonstration.

Peter D. Mosses

Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

Mapping Modular SOS to Rewriting Logic.

Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Pragmatics of Modular SOS.

Peter D. Mosses

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Algebraic Specifications, Higher-order Types and Set-theoretic Models.

Hélène Kirchner, Peter D. Mosses

J. Log. Comput., 2001

CoFI: The Common Framework Initiative for Algebraic Specification and Development.

Peter D. Mosses

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

A Foreword to 'Fundamental Concepts in Programming Languages'.

Peter D. Mosses

High. Order Symb. Comput., 2000

The Varieties of Programming Language Semantics.

Peter D. Mosses

Proceedings of the Theoretical Computer Science, 2000

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.

Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Foundations of Modular SOS.

Peter D. Mosses

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Logical Specification of Operational Semantics.

Peter D. Mosses

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Semantics, modularity, and rewriting logic.

Peter D. Mosses

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

CASL: A Guided Tour of Its Design.

Peter D. Mosses

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

CoFI: The Common Framework Initiative for Algebraic Specification and Development.

Peter D. Mosses

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Foreword: Special Volume of TAPSOFT 1995 Papers.

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach

Theor. Comput. Sci., 1996

Valentin M. Antimirov (1961-1995).

Gregory Kucherov, Pierre Lescanne, Peter D. Mosses

Theor. Comput. Sci., 1996

CoFI: The Common Framework Initiative for Algebraic Specification.

Peter D. Mosses

Bull. EATCS, 1996

Theory and Practice of Action Semantics.

Peter D. Mosses

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

ASD: The Action Semantic Description Tools.

Arie van Deursen, Peter D. Mosses

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Rewriting Extended Regular Expressions.

Valentin M. Antimirov, Peter D. Mosses

Theor. Comput. Sci., 1995

Rⁿ- and Gⁿ-Logics.

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses

Proceedings of the Higher-Order Algebra, 1995

Combining Algebraic and Set-Theoretic Specifications.

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

An Action Semantics for ML Concurrency Primitives.

Peter D. Mosses, Martin A. Musicante

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Executing Action Semantic Descriptions using ASF+SDF.

Arie van Deursen, Peter D. Mosses

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

On the Action Semantics of Concurrent Programming Languages.

Peter D. Mosses

Proceedings of the Sematics: Foundations and Applications, 1992

Specifying Asynchronous Transfer of Control.

Padmanabhan Krishnan, Peter D. Mosses

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Unified Algebras and Abstract Syntax.

Peter D. Mosses

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

The Use of Sorts in Algebraic Specifications.

Peter D. Mosses

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

Denotational Semantics.

Peter D. Mosses

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

Unified Algebras and Action Semantics.

Peter D. Mosses

Proceedings of the STACS 89, 1989

Unified Algebras and Modules.

Peter D. Mosses

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Unified Algebras and Institutions

Peter D. Mosses

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

A Practical Introduction to Denotational Semantics.

Peter D. Mosses

Proceedings of the Formal Description of Programming Concepts, 1989

1988

Unified Algebras.

Peter D. Mosses

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

On Proving Limiting Completeness.

Peter D. Mosses, Gordon D. Plotkin

SIAM J. Comput., 1987

The use of action semantics.

Peter D. Mosses, David A. Watt

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

Action Semantics.

Peter D. Mosses

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

A Basic Abstract Semantic Algebra.

Peter D. Mosses

Proceedings of the Semantics of Data Types, International Symposium, 1984

1983

A Solution to Problem 7 - Parallel Combinator Reduction Machine -.

Peter D. Mosses

Proceedings of the Analysis of Concurrent Systems, 1983

1982

Abstract Semantic Algebras.

Peter D. Mosses

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

A Semantic Algebra for Binding Constructs.

Peter D. Mosses

Proceedings of the Formalization of Programming Concepts, 1981

1980

A Constructive Approach to Compiler Correctness.

Peter D. Mosses

Proceedings of the Automata, 1980

1976

Compiler Generation Using Denotational Semantics.

Peter D. Mosses

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Mathematical semantics and compiler generation.

Peter David Mosses

PhD thesis, 1975

1974

The Semantics of Semantic Equations.

Peter D. Mosses

Proceedings of the Mathematical Foundations of Computer Science, 1974