default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter D. Mosses
Peter David Mosses
Person information
- affiliation: Swansea University, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c68]Peter D. Mosses
:
Towards Verification of a Denotational Semantics of Inheritance. JENSFEST 2024: 5-13- 2023
- [c67]Peter D. Mosses:
Using Spoofax to Support Online Code Navigation. Eelco Visser Commemorative Symposium 2023: 21:1-21:12 - [c66]Peter D. Mosses:
Online Name-Based Navigation for Software Meta-languages. SLE 2023: 220-225 - [e7]Ralf Lämmel, Peter D. Mosses, Friedrich Steimann:
Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. OASIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-267-9 [contents] - [i4]Peter D. Mosses:
Using Spoofax to Support Online Code Navigation. CoRR abs/2303.03015 (2023) - [i3]Peter D. Mosses:
Online Name-Based Navigation for Software Meta-languages. CoRR abs/2309.06121 (2023) - 2022
- [j26]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): 1903-1932 (2022) - 2021
- [c65]Peter D. Mosses:
Fundamental Constructs in Programming Languages. ISoLA 2021: 296-321 - [i2]Peter D. Mosses:
Fundamental Constructs in Programming Languages. CoRR abs/2107.10545 (2021)
2010 – 2019
- 2019
- [j25]L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe:
Executable component-based semantics. J. Log. Algebraic Methods Program. 103: 184-212 (2019) - [j24]Peter D. Mosses:
Software meta-language engineering and CBS. J. Comput. Lang. 50: 39-48 (2019) - [c64]Peter D. Mosses:
A Component-Based Formal Language Workbench. F-IDE@FM 2019: 29-34 - 2018
- [j23]Peter D. Mosses:
CoFI with Don Sannella. Theor. Comput. Sci. 741: 44-47 (2018) - 2017
- [j22]Casper Bach Poulsen, Peter D. Mosses:
Flag-based big-step semantics. J. Log. Algebraic Methods Program. 88: 174-190 (2017) - [c63]Peter D. Mosses:
Engineering meta-languages for specifying software languages (keynote). SLE 2017: 1 - 2016
- [c62]L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses:
Tool support for component-based semantics. MODULARITY (Companion) 2016: 8-11 - [i1]Casper Bach Poulsen, Peter D. Mosses:
Flag-Based Big-Step Semantics. CoRR abs/1605.02935 (2016) - 2015
- [j21]Peter D. Mosses:
Semantics of programming languages: Using Asf+Sdf. Sci. Comput. Program. 97: 2-10 (2015) - [j20]Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini:
Reusable Components of Semantic Specifications. LNCS Trans. Aspect Oriented Softw. Dev. 12: 132-179 (2015) - [c61]Peter D. Mosses, Ferdinand Vesely:
Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency 2015: 519-538 - [c60]Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini:
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM 2015: 3-8 - [c59]Neil Sculthorpe, Paolo Torrini, Peter D. Mosses:
A Modular Structural Operational Semantics for Delimited Continuations. WoC 2015: 63-80 - 2014
- [c58]Martin Churchill, Peter D. Mosses, Paolo Torrini:
Reusable components of semantic specifications. MODULARITY 2014: 145-156 - [c57]Casper Bach Poulsen, Peter D. Mosses:
Deriving Pretty-Big-Step Semantics from Small-Step Semantics. ESOP 2014: 270-289 - [c56]Peter D. Mosses, Ferdinand Vesely:
FunKons: Component-Based Semantics in K. WRLA 2014: 213-229 - 2013
- [c55]Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi:
Modular Semantics for Transition System Specifications with Negative Premises. CONCUR 2013: 46-60 - [c54]Martin Churchill, Peter D. Mosses:
Modular Bisimulation Theory for Computations and Values. FoSSaCS 2013: 97-112 - [c53]Casper Bach Poulsen, Peter D. Mosses:
Generating Specialized Interpreters for Modular Structural Operational Semantics. LOPSTR 2013: 220-236 - 2011
- [j19]Peter D. Mosses:
VDM semantics of programming languages: combinators and monads. Formal Aspects Comput. 23(2): 221-238 (2011) - 2010
- [j18]Adrian Johnstone, Peter D. Mosses, Elizabeth Scott:
An agile approach to language modelling and development. Innov. Syst. Softw. Eng. 6(1-2): 145-153 (2010) - [c52]Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers:
Robustness of Equations Under Operational Extensions. EXPRESS 2010: 106-120
2000 – 2009
- 2009
- [j17]Rob J. van Glabbeek, Peter D. Mosses:
Special issue on structural operational semantics. Inf. Comput. 207(2): 83-84 (2009) - [c51]Peter D. Mosses:
Component-based semantics. SAVCBS 2009: 3-10 - 2008
- [j16]Marco Túlio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior:
SBLP 2008: XII Brazilian Symposium on Programming. J. Univers. Comput. Sci. 14(21): 3412-3414 (2008) - [c50]Peter D. Mosses:
Component-Based Description of Programming Languages. BCS Int. Acad. Conf. 2008: 275-286 - [c49]Peter D. Mosses, Mark J. New:
Implicit Propagation in Structural Operational Semantics. SOS@ICALP 2008: 49-66 - 2007
- [j15]Peter D. Mosses, Irek Ulidowski:
Preface. Theor. Comput. Sci. 373(3): 161-162 (2007) - [c48]Peter D. Mosses:
VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems 2007: 483-503 - [e6]Rob van Glabbeek, Peter D. Mosses:
Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(1), Elsevier 2007 [contents] - 2006
- [j14]Mark van den Brand, Jørgen Iversen, Peter D. Mosses:
An Action Environment. Sci. Comput. Program. 61(3): 245-264 (2006) - [c47]Peter D. Mosses:
Constructive Action Semantics in OBJ. Essays Dedicated to Joseph A. Goguen 2006: 281-295 - [c46]Rob J. van Glabbeek, Peter D. Mosses:
Preface. SOS@CONCUR 2006: 1-2 - [e5]Peter D. Mosses, Irek Ulidowski:
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 156(1), Elsevier 2006 [contents] - 2005
- [j13]Jørgen Iversen, Peter D. Mosses:
Constructive Action Semantics for Core ML. IEE Proc. Softw. 152(2): 79-98 (2005) - [j12]Peter D. Mosses:
A Constructive Approach to Language Definition. J. Univers. Comput. Sci. 11(7): 1117-1134 (2005) - [c45]Peter D. Mosses, Irek Ulidowski:
Preface. SOS@ICALP 2005: 1-2 - 2004
- [b3]Michel Bidoit, Peter D. Mosses:
Casl User Manual - Introduction to Using the Common Algebraic Specification Language. Lecture Notes in Computer Science 2900, Springer 2004, ISBN 3-540-20766-X - [b2]Peter D. Mosses:
CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science 2960, Springer 2004, ISBN 3-540-21301-5 - [j11]Peter D. Mosses:
Exploiting Labels in Structural Operational Semantics. Fundam. Informaticae 60(1-4): 17-31 (2004) - [j10]Peter D. Mosses:
Modular structural operational semantics. J. Log. Algebraic Methods Program. 60-61: 195-228 (2004) - [c44]Peter D. Mosses:
Modular Language Descriptions. GPCE 2004: 489 - [c43]Peter D. Mosses:
Exploiting labels in Structural Operational Semantics. SAC 2004: 1476-1481 - [c42]Peter D. Mosses:
Formal Semantics of Programming Languages: - An Overview - . FoVMT 2004: 41-73 - [c41]Mark van den Brand, Jørgen Iversen, Peter D. Mosses:
An Action Environment. LDTA@ETAPS 2004: 149-168 - [c40]Mark van den Brand, Jørgen Iversen, Peter D. Mosses:
The Action Environment: -- Tool Demonstration --. LDTA@ETAPS 2004: 177-180 - [e4]José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas:
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0 [contents] - 2003
- [j9]Kyung-Goo Doh, Peter D. Mosses:
Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47(1): 3-36 (2003) - 2002
- [j8]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): 153-196 (2002) - [c39]Peter D. Mosses:
Pragmatics of Modular SOS. AMAST 2002: 21-40 - [c38]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277 - [c37]Peter D. Mosses:
Action Semantics and ASF+SDF: System Demonstration. LDTA@ETAPS 2002: 2-8 - 2001
- [j7]Hélène Kirchner, Peter D. Mosses:
Algebraic Specifications, Higher-order Types and Set-theoretic Models. J. Log. Comput. 11(3): 453-481 (2001) - [c36]Peter D. Mosses:
The Varieties of Programming Language Semantics. Ershov Memorial Conference 2001: 165-190 - [c35]Kyung-Goo Doh, Peter D. Mosses:
Composing Programming Languages by Combining Action-Semantics Modules. LDTA@ETAPS 2001: 87-109 - [p2]Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification and Development. Current Trends in Theoretical Computer Science 2001: 153-163 - 2000
- [j6]Peter D. Mosses:
A Foreword to 'Fundamental Concepts in Programming Languages'. High. Order Symb. Comput. 13(1/2): 7-9 (2000) - [c34]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421 - [c33]Peter D. Mosses:
The Varieties of Programming Language Semantics. IFIP TCS 2000: 624-628 - [e3]Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito:
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. Lecture Notes in Computer Science 1872, Springer 2000, ISBN 3-540-67823-9 [contents] - [e2]Didier Bert, Christine Choppy, Peter D. Mosses:
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Lecture Notes in Computer Science 1827, Springer 2000, ISBN 3-540-67898-0 [contents]
1990 – 1999
- 1999
- [c32]Peter D. Mosses:
Logical Specification of Operational Semantics. CSL 1999: 32-49 - [c31]Peter D. Mosses:
Foundations of Modular SOS. MFCS 1999: 70-80 - 1998
- [c30]Hélène Kirchner, Peter D. Mosses:
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST 1998: 373-388 - [c29]Peter D. Mosses:
CASL: A Guided Tour of Its Design. WADT 1998: 216-240 - [c28]Peter D. Mosses:
Semantics, modularity, and rewriting logic. WRLA 1998: 404-421 - 1997
- [c27]Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification and Development. TAPSOFT 1997: 115-137 - 1996
- [j5]Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification. Bull. EATCS 59 (1996) - [j4]Gregory Kucherov, Pierre Lescanne, Peter D. Mosses:
Valentin M. Antimirov (1961-1995). Theor. Comput. Sci. 155(2): 289-290 (1996) - [j3]Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167(1&2): 1 (1996) - [c26]Arie van Deursen, Peter D. Mosses:
ASD: The Action Semantic Description Tools. AMAST 1996: 579-582 - [c25]Peter D. Mosses:
Theory and Practice of Action Semantics. MFCS 1996: 37-61 - 1995
- [j2]Valentin M. Antimirov, Peter D. Mosses:
Rewriting Extended Regular Expressions. Theor. Comput. Sci. 143(1): 51-72 (1995) - [c24]Claus Hintermeier, Hélène Kirchner, Peter D. Mosses:
Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT 1995: 255-273 - [c23]Claus Hintermeier, Hélène Kirchner, Peter D. Mosses:
Rn- and Gn-Logics. HOA 1995: 90-108 - [e1]Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Lecture Notes in Computer Science 915, Springer 1995, ISBN 3-540-59293-8 [contents] - 1994
- [c22]Peter D. Mosses, Martin A. Musicante:
An Action Semantics for ML Concurrency Primitives. FME 1994: 461-479 - 1993
- [c21]Arie van Deursen, Peter D. Mosses:
Executing Action Semantic Descriptions using ASF+SDF. AMAST 1993: 413-414 - [c20]Valentin M. Antimirov, Peter D. Mosses:
Rewriting Extended Regular Expressions. Developments in Language Theory 1993: 195-209 - 1992
- [c19]Peter D. Mosses:
Unified Algebras and Abstract Syntax. COMPASS/ADT 1992: 280-294 - [c18]Padmanabhan Krishnan, Peter D. Mosses:
Specifying Asynchronous Transfer of Control. FTRTFT 1992: 291-306 - [c17]Peter D. Mosses:
On the Action Semantics of Concurrent Programming Languages. REX Workshop 1992: 398-424 - 1991
- [c16]Peter D. Mosses:
The Use of Sorts in Algebraic Specifications. COMPASS/ADT 1991: 66-92 - 1990
- [p1]Peter D. Mosses:
Denotational Semantics. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 575-631
1980 – 1989
- 1989
- [c15]Peter D. Mosses:
A Practical Introduction to Denotational Semantics. Formal Description of Programming Concepts 1989: 1-50 - [c14]Peter D. Mosses:
Unified Algebras and Institutions. LICS 1989: 304-312 - [c13]Peter D. Mosses:
Unified Algebras and Modules. POPL 1989: 329-343 - [c12]Peter D. Mosses:
Unified Algebras and Action Semantics. STACS 1989: 17-35 - 1988
- [c11]Peter D. Mosses:
Unified Algebras. ADT 1988 - 1987
- [j1]Peter D. Mosses, Gordon D. Plotkin:
On Proving Limiting Completeness. SIAM J. Comput. 16(1): 179-194 (1987) - [c10]Peter D. Mosses, David A. Watt:
The use of action semantics. Formal Description of Programming Concepts 1987: 135-166 - 1986
- [c9]Peter D. Mosses:
Action Semantics. ADT 1986 - 1984
- [c8]Peter D. Mosses:
A Basic Abstract Semantic Algebra. Semantics of Data Types 1984: 87-107 - 1983
- [c7]Peter D. Mosses:
A Solution to Problem 7 - Parallel Combinator Reduction Machine -. The Analysis of Concurrent Systems 1983: 354-358 - 1982
- [c6]Peter D. Mosses:
Abstract Semantic Algebras. Formal Description of Programming Concepts 1982: 45-72 - 1981
- [c5]Peter D. Mosses:
A Semantic Algebra for Binding Constructs. ICFPC 1981: 408-418 - 1980
- [c4]Peter D. Mosses:
A constructive approach to compiler correctness. Semantics-Directed Compiler Generation 1980: 189-210 - [c3]Peter D. Mosses:
A Constructive Approach to Compiler Correctness. ICALP 1980: 449-469
1970 – 1979
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
