publications: - title: "A constructive approach to compiler correctness" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1980" tags: - "compiler" - "systematic-approach" researchr: "https://researchr.org/publication/Mosses80" cites: 0 citedby: 0 pages: "189-210" booktitle: "Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980" editor: - name: "Neil D. Jones" link: "http://www.diku.dk/hjemmesider/ansatte/neil/" volume: "94" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10250-7" kind: "inproceedings" key: "Mosses80" - title: "Composing programming languages by combining action-semantics modules" author: - name: "Kyung-Goo Doh" link: "https://researchr.org/alias/kyung-goo-doh" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2003" doi: "http://dx.doi.org/10.1016/S0167-6423(02)00107-7" links: doi: "http://dx.doi.org/10.1016/S0167-6423(02)00107-7" tags: - "programming languages" - "semantics" - " action semantics" - "programming" researchr: "https://researchr.org/publication/DohM03" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "47" number: "1" pages: "3-36" kind: "article" key: "DohM03" - title: "The Varieties of Programming Language Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440165.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440165.htm" tags: - "programming languages" - "semantics" - "programming" researchr: "https://researchr.org/publication/Mosses01%3A0" cites: 0 citedby: 0 pages: "165-190" booktitle: "Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers" editor: - name: "Dines Bjørner" link: "https://researchr.org/alias/dines-bj%C3%B8rner" - name: "Manfred Broy" link: "https://researchr.org/alias/manfred-broy" - name: "Alexandre V. Zamulin" link: "https://researchr.org/alias/alexandre-v.-zamulin" volume: "2244" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43075-X" kind: "inproceedings" key: "Mosses01:0" - title: "Modular Semantics for Transition System Specifications with Negative Premises" author: - name: "Martin Churchill" link: "https://researchr.org/alias/martin-churchill" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-642-40184-8_5" links: doi: "http://dx.doi.org/10.1007/978-3-642-40184-8_5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/concur/ChurchillMM13" researchr: "https://researchr.org/publication/ChurchillMM13" cites: 0 citedby: 0 pages: "46-60" booktitle: "CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings" editor: - name: "Pedro R. D'Argenio" link: "https://researchr.org/alias/pedro-r.-d%27argenio" - name: "Hernán C. Melgratti" link: "https://researchr.org/alias/hern%C3%A1n-c.-melgratti" volume: "8052" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-40183-1" kind: "inproceedings" key: "ChurchillMM13" - title: "Preface" author: - name: "Rob J. van Glabbeek" link: "https://researchr.org/alias/rob-j.-van-glabbeek" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2006.11.016" links: doi: "http://dx.doi.org/10.1016/j.entcs.2006.11.016" researchr: "https://researchr.org/publication/GlabbeekM07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "175" number: "1" pages: "1-2" kind: "article" key: "GlabbeekM07" - title: "Modular Language Descriptions" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "https://doi.org/10.1007/978-3-540-30175-2_27" abstract: "Formal semantic descriptions of full-scale programming languages can be notoriously difficult to write, as well as to read. Writing a description of a language usually starts from scratch: reuse from previous language descriptions requires first locating a relevant one, then manually copying bits of it – perhaps with extensive reformulation. Semantic descriptions are often intricate and intimidating documents to read, requiring a good grasp of the formalism used, as well an understanding of the interplay between the parts of the description concerned with different language constructs. Evolution of semantic descriptions, to cope with small changes or extensions to the described language, may require global reformulation." links: doi: "https://doi.org/10.1007/978-3-540-30175-2_27" researchr: "https://researchr.org/publication/Mosses04%3A0" cites: 0 citedby: 0 pages: "489" booktitle: "Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings" editor: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Eelco Visser" link: "http://eelcovisser.org" volume: "3286" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23580-9" kind: "inproceedings" key: "Mosses04:0" - title: "FunKons: Component-Based Semantics in K" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Ferdinand Vesely" link: "https://researchr.org/alias/ferdinand-vesely" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-12904-4_12" links: doi: "http://dx.doi.org/10.1007/978-3-319-12904-4_12" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/MossesV14" researchr: "https://researchr.org/publication/MossesV14" cites: 0 citedby: 0 pages: "213-229" booktitle: "Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers" editor: - name: "Santiago Escobar" link: "https://researchr.org/alias/santiago-escobar" volume: "8663" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-12903-7" kind: "inproceedings" key: "MossesV14" - title: "The Varieties of Programming Language Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1872/18720624.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1872/18720624.htm" tags: - "programming languages" - "semantics" - "programming" researchr: "https://researchr.org/publication/Mosses00" cites: 0 citedby: 0 pages: "624-628" booktitle: "Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings" editor: - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" - name: "Osamu Watanabe" link: "https://researchr.org/alias/osamu-watanabe" - name: "Masami Hagiya" link: "https://researchr.org/alias/masami-hagiya" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Takayasu Ito" link: "https://researchr.org/alias/takayasu-ito" volume: "1872" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67823-9" kind: "inproceedings" key: "Mosses00" - title: "CoFI: The Common Framework Initiative for Algebraic Specification and Development" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2001" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/Mosses01" cites: 0 citedby: 0 pages: "153-163" booktitle: "Current Trends in Theoretical Computer Science" kind: "incollection" key: "Mosses01" - title: "Generating Specialized Interpreters for Modular Structural Operational Semantics" author: - name: "Casper Bach Poulsen" link: "http://www.casperbp.net" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2013" links: "pdf": "http://cs.swan.ac.uk/~cscbp/lopstr13/lopstr13.pdf" "slides": "http://cs.swan.ac.uk/~cscbp/lopstr13/lopstr13_slides.pdf" "extra material": "http://cs.swan.ac.uk/~cscbp/lopstr13/index.html" researchr: "https://researchr.org/publication/BPM13" cites: 0 citedby: 0 booktitle: "Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation" series: "LOPSTR" kind: "inproceedings" key: "BPM13" - title: "Imperative Polymorphism by Store-Based Types as Abstract Interpretations" author: - name: "Casper Bach Poulsen" link: "http://www.casperbp.net" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Paolo Torrini" link: "https://researchr.org/alias/paolo-torrini" year: "2015" doi: "http://doi.acm.org/10.1145/2678015.2682545" links: doi: "http://doi.acm.org/10.1145/2678015.2682545" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/PoulsenMT15" researchr: "https://researchr.org/publication/PoulsenMT15" cites: 0 citedby: 0 pages: "3-8" booktitle: "Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015" editor: - name: "Kenichi Asai" link: "https://researchr.org/alias/kenichi-asai" - name: "Kostis Sagonas" link: "https://researchr.org/alias/kostis-sagonas" publisher: "ACM" isbn: "978-1-4503-3297-2" kind: "inproceedings" key: "PoulsenMT15" - title: "Reusable components of semantic specifications" author: - name: "Martin Churchill" link: "https://researchr.org/alias/martin-churchill" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Paolo Torrini" link: "https://researchr.org/alias/paolo-torrini" year: "2014" doi: "http://doi.acm.org/10.1145/2577080.2577099" abstract: "Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language – even when the two languages have many constructs in common – and evolution of a language may require major reformulation of its semantics. Such drawbacks have discouraged language developers from using formal semantics to document their designs. In the PLANCOMPS project, we have developed a component- based approach to semantics. Here, we explain its modularity as- pects, and present an illustrative case study. Our approach provides good modularity, facilitates reuse, and supports co-evolution of lan- guages and their formal semantics. It could be particularly useful in connection with domain-specific languages and language-driven software development." links: doi: "http://doi.acm.org/10.1145/2577080.2577099" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aosd/ChurchillMT14" researchr: "https://researchr.org/publication/ChurchillMT14" cites: 0 citedby: 0 pages: "145-156" booktitle: "13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014" editor: - name: "Walter Binder" link: "https://researchr.org/alias/walter-binder" - name: "Erik Ernst" link: "https://researchr.org/alias/erik-ernst" - name: "Achille Peternier" link: "https://researchr.org/alias/achille-peternier" - name: "Robert Hirschfeld" link: "https://researchr.org/alias/robert-hirschfeld" publisher: "ACM" isbn: "978-1-4503-2772-5" kind: "inproceedings" key: "ChurchillMT14" - title: "Formal Semantics of Programming Languages: - An Overview - " author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.012" abstract: "These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study." links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.012" tags: - "programming languages" - "semantics" - "meta programming" - "formal semantics" - "meta-model" - "modeling language" - "language modeling" - "programming" - "Meta-Environment" researchr: "https://researchr.org/publication/Mosses06%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "148" number: "1" pages: "41-73" kind: "article" key: "Mosses06:0" - title: "Home Page" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" researchr: "https://researchr.org/publication/homepages-m-PeterDMosses" cites: 0 citedby: 0 howpublished: "http://www.cs.swan.ac.uk/~cspdm/" kind: "misc" key: "homepages-m-PeterDMosses" - title: "Deriving Pretty-Big-Step Semantics from Small-Step Semantics" author: - name: "Casper Bach Poulsen" link: "http://www.casperbp.net" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-642-54833-8_15" links: doi: "http://dx.doi.org/10.1007/978-3-642-54833-8_15" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/PoulsenM14" researchr: "https://researchr.org/publication/PoulsenM14" cites: 0 citedby: 0 pages: "270-289" booktitle: "Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings" editor: - name: "Zhong Shao" link: "https://researchr.org/alias/zhong-shao" volume: "8410" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-54832-1" kind: "inproceedings" key: "PoulsenM14" - title: "An agile approach to language modelling and development" author: - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Elizabeth Scott" link: "https://researchr.org/alias/elizabeth-scott" year: "2010" doi: "http://dx.doi.org/10.1007/s11334-009-0111-6" abstract: "We have developed novel techniques for component-based specification of programming languages. In our approach, the semantics of each fundamental programming construct is specified independently, using an inherently modular framework such that no reformulation is needed when constructs are combined. A language specification consists of an unrestricted context-free grammar for the syntax of programs, together with an analysis of each language construct in terms of fundamental constructs. An open-ended collection of fundamental constructs is currently being developed. When supported by appropriate tools, our techniques allow a more agile approach to the design, modelling, and implementation of programming and domain-specific languages. In particular, our approach encourages language designers to proceed incrementally, using prototype implementations generated from specifications to test tentative designs. The components of our specifications are independent and highly reusable, so initial language specifications can be rapidly produced, and can easily evolve in response to changing design decisions. In this paper, we outline our approach, and relate it to the practices and principles of agile modelling." links: doi: "http://dx.doi.org/10.1007/s11334-009-0111-6" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/isse/JohnstoneMS10" tags: - "programming languages" - "semantics" - "reusable components" - "rule-based" - "program analysis" - "meta programming" - "meta-model" - "modeling language" - "modeling" - "language modeling" - "points-to analysis" - "domain analysis" - "testing" - "analysis" - "language design" - "principles" - "reuse" - "model-driven development" - "source-to-source" - "programming" - "context-aware" - "Meta-Environment" - "incremental" - "design" - "systematic-approach" - "open-source" - "grammar" - "domain-specific language" researchr: "https://researchr.org/publication/JohnstoneMS10" cites: 43 citedby: 0 journal: "ISSE" volume: "6" number: "1-2" pages: "145-153" kind: "article" key: "JohnstoneMS10" - title: "An Action Semantics for ML Concurrency Primitives" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Martín Musicante" link: "https://researchr.org/alias/mart%C3%ADn-musicante" year: "1994" tags: - "semantics" - " action semantics" researchr: "https://researchr.org/publication/MossesM94" cites: 0 citedby: 0 pages: "461-479" booktitle: "FME 94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings" editor: - name: "Maurice Naftalin" link: "https://researchr.org/alias/maurice-naftalin" - name: "B. Tim Denvir" link: "https://researchr.org/alias/b.-tim-denvir" - name: "Miquel Bertran" link: "https://researchr.org/alias/miquel-bertran" volume: "873" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58555-9" kind: "inproceedings" key: "MossesM94" - title: "Action Semantics and ASF+SDF: System Demonstration" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2002" doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#003" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#003" tags: - "semantics" - "SDF" - " action semantics" - "ASF+SDF" researchr: "https://researchr.org/publication/Mosses02%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "65" number: "3" pages: "2-8" kind: "article" key: "Mosses02:0" - title: "Constructive Action Semantics for Core ML" author: - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2005" doi: "http://dx.doi.org/10.1049/ip-sen:20041182" links: doi: "http://dx.doi.org/10.1049/ip-sen:20041182" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iee/IversenM05" researchr: "https://researchr.org/publication/IversenM05" cites: 0 citedby: 0 journal: "IEE Proceedings - Software" volume: "152" number: "2" pages: "79-98" kind: "article" key: "IversenM05" - title: "Exploiting Labels in Structural Operational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=17" links: doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=17" tags: - "semantics" - " structural operational semantics" - "operational semantics" researchr: "https://researchr.org/publication/Mosses-FI-2004" cites: 0 citedby: 0 journal: "Fundamenta Informaticae" volume: "60" number: "1-4" pages: "17-31" kind: "article" key: "Mosses-FI-2004" - title: "Implicit Propagation in Structural Operational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Mark J. New" link: "https://researchr.org/alias/mark-j.-new" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.073" abstract: "In contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves auxiliary entities: stores, environments, etc. When specifying SOS rules, particular auxiliary entities often need to be propagated unchanged between premises and conclusions. The standard technique is to make such propagation explicit, using variables. However, referring to all entities that need to be propagated unchanged in each rule can be tedious, and it hinders direct reuse of rules in different language descriptions. This paper proposes a new interpretation of SOS rules, such that each auxiliary entity is implicitly propagated in all rules in which it is not mentioned. The main benefits include significant notational simplification of SOS rules and much-improved reusability. This new interpretation of SOS rules is based on the same foundations as Modular SOS, but avoids the notational overhead of grouping auxiliary entities together in labels. After motivating and explaining implicit propagation, the paper considers the foundations of SOS and Modular SOS specifications, and defines the meaning of SOS specifications with implicit propagation by translating them to Modular SOS. It then shows how implicit propagation can simplify various rules found in the SOS literature. Keywords: formal semantics; structural operational semantics; Modular SOS; modularity; reuse " links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.073" tags: - "programming languages" - "semantics" - "rule-based" - "translation" - "meta programming" - "formal semantics" - " structural operational semantics" - "process algebra" - "SOS" - "reuse" - "rules" - "algebraic specification" - " algebra" - "programming" - "operational semantics" - "modular SOS" - "Meta-Environment" researchr: "https://researchr.org/publication/MossesN09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "229" number: "4" pages: "49-66" kind: "article" key: "MossesN09" - title: "Special issue on structural operational semantics" author: - name: "Rob J. van Glabbeek" link: "http://theory.stanford.edu/~rvg/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2009" doi: "http://dx.doi.org/10.1016/j.ic.2008.10.006" links: doi: "http://dx.doi.org/10.1016/j.ic.2008.10.006" tags: - "semantics" - " structural operational semantics" - "operational semantics" researchr: "https://researchr.org/publication/GlabbeekM09" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "207" number: "2" pages: "83-84" kind: "article" key: "GlabbeekM09" - title: "Mapping Modular SOS to Rewriting Logic" author: - name: "Christiano de O. Braga" link: "https://researchr.org/alias/christiano-de-o.-braga" - name: "Edward Hermann Haeusler" link: "https://researchr.org/alias/edward-hermann-haeusler" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2664/26640262.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2664/26640262.htm" tags: - "SOS" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/BragaHMM02" cites: 0 citedby: 0 pages: "262-277" booktitle: "Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers" editor: - name: "Michael Leuschel" link: "http://www.stups.uni-duesseldorf.de/~leuschel" volume: "2664" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40438-4" kind: "inproceedings" key: "BragaHMM02" - title: "A Foreword to Fundamental Concepts in Programming Languages " author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2000" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/Mosses00%3A0" cites: 0 citedby: 0 journal: "Higher-Order and Symbolic Computation" volume: "13" number: "1/2" pages: "7-9" kind: "article" key: "Mosses00:0" - title: "Rewriting Extended Regular Expressions" author: - name: "Valentin M. Antimirov" link: "https://researchr.org/alias/valentin-m.-antimirov" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1995" doi: "http://dx.doi.org/10.1016/0304-3975(95)80024-4" links: doi: "http://dx.doi.org/10.1016/0304-3975(95)80024-4" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/AntimirovM95" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "143" number: "1" pages: "51-72" kind: "article" key: "AntimirovM95" - title: "CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" tags: - "completeness" - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/Mosses04" cites: 0 citedby: 0 volume: "2960" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21301-5" kind: "book" key: "Mosses04" - title: "Algebraic Specifications, Higher-order Types and Set-theoretic Models" author: - name: "Hélène Kirchner" link: "http://www.loria.fr/~hkirchne/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2001" doi: "http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_03/110453.sgm.abs.html" links: doi: "http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_03/110453.sgm.abs.html" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/KirchnerM01" cites: 0 citedby: 0 journal: "Journal of Logic and Computation" volume: "11" number: "3" pages: "453-481" kind: "article" key: "KirchnerM01" - title: "The Semantics of Semantic Equations" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1974" tags: - "semantics" researchr: "https://researchr.org/publication/Mosses74" cites: 0 citedby: 0 pages: "409-422" booktitle: "Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings" editor: - name: "Andrzej Blikle" link: "https://researchr.org/alias/andrzej-blikle" volume: "28" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-07162-8" kind: "inproceedings" key: "Mosses74" - title: "Modular Bisimulation Theory for Computations and Values" author: - name: "Martin Churchill" link: "https://researchr.org/alias/martin-churchill" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-642-37075-5_7" links: doi: "http://dx.doi.org/10.1007/978-3-642-37075-5_7" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fossacs/ChurchillM13" researchr: "https://researchr.org/publication/ChurchillM13" cites: 0 citedby: 0 pages: "97-112" booktitle: "Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings" editor: - name: "Frank Pfenning" link: "http://www.cs.cmu.edu/~fp/" volume: "7794" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-37074-8" kind: "inproceedings" key: "ChurchillM13" - title: "Flag-based big-step semantics" author: - name: "Casper Bach Poulsen" link: "http://www.casperbp.net" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2017" doi: "http://dx.doi.org/10.1016/j.jlamp.2016.05.001" links: doi: "http://dx.doi.org/10.1016/j.jlamp.2016.05.001" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jlp/PoulsenM17" researchr: "https://researchr.org/publication/PoulsenM17" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "88" pages: "174-190" kind: "article" key: "PoulsenM17" - title: "CoFI: The Common Framework Initiative for Algebraic Specification and Development" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1997" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/Mosses97" cites: 0 citedby: 0 pages: "115-137" booktitle: "TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings" editor: - name: "Michel Bidoit" link: "https://researchr.org/alias/michel-bidoit" - name: "Max Dauchet" link: "https://researchr.org/alias/max-dauchet" volume: "1214" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-62781-2" kind: "inproceedings" key: "Mosses97" - title: "Combining Algebraic and Set-Theoretic Specifications" author: - name: "Claus Hintermeier" link: "https://researchr.org/alias/claus-hintermeier" - name: "Hélène Kirchner" link: "http://www.loria.fr/~hkirchne/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1995" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/HintermaierKM95" cites: 0 citedby: 0 pages: "255-273" booktitle: "Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers" editor: - name: "Magne Haveraaen" link: "http://www.ii.uib.no/~magne/" - name: "Olaf Owe" link: "https://researchr.org/alias/olaf-owe" - name: "Ole-Johan Dahl" link: "https://researchr.org/alias/ole-johan-dahl" volume: "1130" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61629-2" kind: "inproceedings" key: "HintermaierKM95" - title: "Executable component-based semantics" author: - name: "L. Thomas van Binsbergen" link: "https://researchr.org/alias/l.-thomas-van-binsbergen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Neil Sculthorpe" link: "https://researchr.org/alias/neil-sculthorpe" year: "2019" doi: "https://doi.org/10.1016/j.jlamp.2018.12.004" links: doi: "https://doi.org/10.1016/j.jlamp.2018.12.004" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jlp/BinsbergenMS19" researchr: "https://researchr.org/publication/BinsbergenMS19" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "103" pages: "184-212" kind: "article" key: "BinsbergenMS19" - title: "An Action Environment" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.005" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.005" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandIM04" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "110" pages: "149-168" kind: "article" key: "BrandIM04" - title: "A Constructive Approach to Language Definition" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2005" doi: "http://www.jucs.org/jucs_11_7/a_contructive_approach_to" abstract: "Most approaches to formal semantics are based on the assumption that all the constructs of a language are defined together. The details of the definition of each construct can (and usually do) depend on which other constructs are included in the given language. This limits reuse of definitions of common constructs. With the more constructive approach proposed here, the semantics of each basic abstract programming construct is defined separately and independently. The semantics of a full language is obtained by translating its constructs into the basic abstract constructs, whose definitions are thus reused verbatim. The frameworks of Modular SOS and Action Semantics can both be used in conjunction with the proposed approach. Some illustrations are given." links: doi: "http://www.jucs.org/jucs_11_7/a_contructive_approach_to" tags: - "programming languages" - "semantics" - "rule-based" - "translation" - "semantics of programming languages" - "formal semantics" - " structural operational semantics" - "Modularity" - " action semantics" - "SOS" - "reuse" - "programming" - "operational semantics" - "systematic-approach" researchr: "https://researchr.org/publication/Mosses05" cites: 0 citedby: 0 journal: "J. UCS" volume: "11" number: "7" pages: "1117-1134" kind: "article" key: "Mosses05" - title: "Unified Algebras" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1988" tags: - " algebra" researchr: "https://researchr.org/publication/Mosses88" cites: 0 citedby: 0 booktitle: "ADT" kind: "inproceedings" key: "Mosses88" - title: "Semantics of programming languages: Using Asf+Sdf" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2013.11.038" links: doi: "http://dx.doi.org/10.1016/j.scico.2013.11.038" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/Mosses15" researchr: "https://researchr.org/publication/Mosses15" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "97" pages: "2-10" kind: "article" key: "Mosses15" - title: "Weak Bisimulation as a Congruence in MSOS" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Ferdinand Vesely" link: "https://researchr.org/alias/ferdinand-vesely" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-319-23165-5_24" links: doi: "http://dx.doi.org/10.1007/978-3-319-23165-5_24" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/MossesV15" researchr: "https://researchr.org/publication/MossesV15" cites: 0 citedby: 0 pages: "519-538" booktitle: "Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday" editor: - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "9200" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-23164-8" kind: "inproceedings" key: "MossesV15" - title: "Pragmatics of Modular SOS" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2002" doi: "https://doi.org/10.1007/3-540-45719-4_3" abstract: "Modular SOS is a recently-developed variant of Plotkin’s Structural Operational Semantics (SOS) framework. It has severalpra gmatic advantages over the originalfram ework—the most significant being that rules specifying the semantics of individual language constructs can be given definitively, once and for all. Modular SOS is being used for teaching operational semantics at the undergraduate level. For this purpose, the meta-notation for modular SOS rules has been made more user-friendly, and derivation of computations according to the rules is simulated using Prolog. After giving an overview of the foundations of Modular SOS, this paper gives some illustrative examples of the use of the framework, and discusses various pragmatic aspects." links: doi: "https://doi.org/10.1007/3-540-45719-4_3" tags: - "SOS" researchr: "https://researchr.org/publication/Mosses02" cites: 0 citedby: 0 pages: "21-40" booktitle: "Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings" editor: - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Christophe Ringeissen" link: "http://www.loria.fr/~ringeiss/" volume: "2422" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44144-1" kind: "inproceedings" key: "Mosses02" - title: "A Practical Introduction to Denotational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1989" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip2/Mosses89" researchr: "https://researchr.org/publication/Mosses89-0" cites: 0 citedby: 0 pages: "1-50" booktitle: "Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989" editor: - name: "Erich J. Neuhold" link: "https://researchr.org/alias/erich-j.-neuhold" - name: "Manfred Paul 0001" link: "https://researchr.org/alias/manfred-paul-0001" series: "IFIP State-of-the-Art Reports" publisher: "Springer" isbn: "3-540-53961-1" kind: "inproceedings" key: "Mosses89-0" - title: "Engineering meta-languages for specifying software languages (keynote)" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2017" doi: "http://doi.acm.org/10.1145/3136014.3148041" links: doi: "http://doi.acm.org/10.1145/3136014.3148041" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Mosses17" researchr: "https://researchr.org/publication/Mosses17" cites: 0 citedby: 0 pages: "1" booktitle: "Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017" editor: - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "Marjan Mernik" link: "https://researchr.org/alias/marjan-mernik" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" publisher: "ACM" isbn: "978-1-4503-5525-4" kind: "inproceedings" key: "Mosses17" - title: "Component-based semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2009" doi: "http://doi.acm.org/10.1145/1596486.1596489" links: doi: "http://doi.acm.org/10.1145/1596486.1596489" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/Mosses09" researchr: "https://researchr.org/publication/Mosses09" cites: 0 citedby: 0 pages: "3-10" booktitle: "SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands" publisher: "ACM" isbn: "978-1-60558-680-9" kind: "inproceedings" key: "Mosses09" - title: "A Semantic Algebra for Binding Constructs" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1981" tags: - " algebra" researchr: "https://researchr.org/publication/Mosses81" cites: 0 citedby: 0 pages: "408-418" booktitle: "Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings" editor: - name: "Josep Díaz" link: "https://researchr.org/alias/josep-d%C3%ADaz" - name: "Isidro Ramos" link: "https://researchr.org/alias/isidro-ramos" volume: "107" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10699-5" kind: "inproceedings" key: "Mosses81" - title: "Unified Algebras and Abstract Syntax" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1992" tags: - "abstract syntax" - " algebra" researchr: "https://researchr.org/publication/Mosses92" cites: 0 citedby: 0 pages: "280-294" booktitle: "Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" volume: "785" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57867-6" kind: "inproceedings" key: "Mosses92" - title: "ASD: The Action Semantic Description Tools" author: - name: "Arie van Deursen" link: "http://www.st.ewi.tudelft.nl/~arie/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1996" researchr: "https://researchr.org/publication/DeursenM96" cites: 0 citedby: 0 pages: "579-582" booktitle: "Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" - name: "Maurice Nivat" link: "https://researchr.org/alias/maurice-nivat" volume: "1101" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61463-X" kind: "inproceedings" key: "DeursenM96" - title: "On Proving Limiting Completeness" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Gordon D. Plotkin" link: "http://homepages.inf.ed.ac.uk/gdp/" year: "1987" tags: - "completeness" researchr: "https://researchr.org/publication/MossesP87" cites: 0 citedby: 0 journal: "SIAM Journal on Computing" volume: "16" number: "1" pages: "179-194" kind: "article" key: "MossesP87" - title: "The use of action semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "David A. Watt" link: "https://researchr.org/alias/david-a.-watt" year: "1987" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip2/MossesW87" researchr: "https://researchr.org/publication/MossesW87" cites: 0 citedby: 0 pages: "135-166" booktitle: "Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" publisher: "North-Holland" isbn: "0-444-70253-9" kind: "inproceedings" key: "MossesW87" - title: "The Action Environment: -- Tool Demonstration --" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.002" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.002" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandIM04a" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "110" pages: "177-180" kind: "article" key: "BrandIM04a" - title: "VDM semantics of programming languages: combinators and monads" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2011" doi: "http://dx.doi.org/10.1007/s00165-009-0145-4" links: doi: "http://dx.doi.org/10.1007/s00165-009-0145-4" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fac/Mosses11" tags: - "programming languages" - "semantics" - "programming" researchr: "https://researchr.org/publication/Mosses11" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "23" number: "2" pages: "221-238" kind: "article" key: "Mosses11" - title: "R:::n:::- and G:::n:::-Logics" author: - name: "Claus Hintermeier" link: "https://researchr.org/alias/claus-hintermeier" - name: "Hélène Kirchner" link: "http://www.loria.fr/~hkirchne/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1995" tags: - "logic" researchr: "https://researchr.org/publication/HintermeierKM95" cites: 0 citedby: 0 pages: "90-108" booktitle: "Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA 95, Paderborn, Germany, September 21-22, 1995, Selected Papers" editor: - name: "Gilles Dowek" link: "https://researchr.org/alias/gilles-dowek" - name: "Jan Heering" link: "http://homepages.cwi.nl/~jan/" - name: "Karl Meinke" link: "https://researchr.org/alias/karl-meinke" - name: "Bernhard Möller" link: "https://researchr.org/alias/bernhard-m%C3%B6ller" volume: "1074" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61254-8" kind: "inproceedings" key: "HintermeierKM95" - title: "Denotational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1990" tags: - "semantics" - "denotational semantics" researchr: "https://researchr.org/publication/Mosses90" cites: 0 citedby: 0 pages: "575-631" booktitle: "Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)" kind: "incollection" key: "Mosses90" - title: "Valentin M. Antimirov (1961-1995)" author: - name: "Gregory Kucherov" link: "https://researchr.org/alias/gregory-kucherov" - name: "Pierre Lescanne" link: "https://researchr.org/alias/pierre-lescanne" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1996" researchr: "https://researchr.org/publication/KucherovLM96" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "155" number: "2" pages: "289-290" kind: "article" key: "KucherovLM96" - title: "CoFI: The Common Framework Initiative for Algebraic Specification" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1996" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/Mosses96%3A0" cites: 0 citedby: 0 journal: "Bulletin of the EATCS" volume: "59" kind: "article" key: "Mosses96:0" - title: "Semantics, modularity, and rewriting logic" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#026" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#026" tags: - "semantics" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/Mosses98%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "15" pages: "404-421" kind: "article" key: "Mosses98:0" - title: "Unified Algebras and Modules" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1989" tags: - " algebra" researchr: "https://researchr.org/publication/Mosses89" cites: 0 citedby: 0 pages: "329-343" booktitle: "POPL" kind: "inproceedings" key: "Mosses89" - title: "Theory and Practice of Action Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1996" tags: - "semantics" - " action semantics" researchr: "https://researchr.org/publication/Mosses96" cites: 0 citedby: 0 pages: "37-61" booktitle: "Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings" editor: - name: "Wojciech Penczek" link: "https://researchr.org/alias/wojciech-penczek" - name: "Andrzej Szalas" link: "https://researchr.org/alias/andrzej-szalas" volume: "1113" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61550-4" kind: "inproceedings" key: "Mosses96" - title: "A Modular SOS for ML Concurrency Primitives" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1999" links: "url": "http://www.brics.dk/RS/99/57/" researchr: "https://researchr.org/publication/Mosses1999amsosfor" cites: 0 citedby: 0 institution: "Department of Computer Science, Aarhus University" type: "BRICS Research Series" number: "RS-99-57" kind: "techreport" key: "Mosses1999amsosfor" - title: "Foundations of Modular SOS" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1999" tags: - "SOS" researchr: "https://researchr.org/publication/Mosses99%3A0" cites: 0 citedby: 0 pages: "70-80" booktitle: "Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS 99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings" editor: - name: "Miroslaw Kutylowski" link: "https://researchr.org/alias/miroslaw-kutylowski" - name: "Leszek Pacholski" link: "https://researchr.org/alias/leszek-pacholski" - name: "Tomasz Wierzbicki" link: "https://researchr.org/alias/tomasz-wierzbicki" volume: "1672" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66408-4" kind: "inproceedings" key: "Mosses99:0" - title: "Specifying Asynchronous Transfer of Control" author: - name: "Padmanabhan Krishnan" link: "https://researchr.org/alias/padmanabhan-krishnan" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1992" researchr: "https://researchr.org/publication/KrishnanM92" cites: 0 citedby: 0 pages: "291-306" booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings" editor: - name: "Jan Vytopil" link: "https://researchr.org/alias/jan-vytopil" volume: "571" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55092-5" kind: "inproceedings" key: "KrishnanM92" - title: "Preface" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Irek Ulidowski" link: "https://researchr.org/alias/irek-ulidowski" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.018" links: doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.018" researchr: "https://researchr.org/publication/MossesU06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "156" number: "1" pages: "1-2" kind: "article" key: "MossesU06" - title: "A Constructive Approach to Compiler Correctness" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1980" tags: - "compiler" - "systematic-approach" researchr: "https://researchr.org/publication/Mosses80%3A0" cites: 0 citedby: 0 pages: "449-469" booktitle: "Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" volume: "85" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10003-2" kind: "inproceedings" key: "Mosses80:0" - title: "CASL: A Guided Tour of Its Design" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890216.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890216.htm" tags: - "design" researchr: "https://researchr.org/publication/Mosses98" cites: 0 citedby: 0 pages: "216-240" booktitle: "Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected Papers" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" volume: "1589" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66246-4" kind: "inproceedings" key: "Mosses98" - title: "Modular structural operational semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.008" abstract: "Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity in language descriptions, removing a shortcoming of the original SOS framework. After sketching the background and reviewing the main features of SOS, the paper explains the crucial differences between SOS and MSOS, and illustrates how MSOS descriptions are written. It also discusses standard notions of semantic equivalence based on MSOS. Appendix A shows how the illustrative MSOS rules given in the paper would be formulated in conventional SOS." links: doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.008" tags: - "programming languages" - "semantics" - "rule-based" - " structural operational semantics" - "SOS" - "rules" - "reviewing" - "programming" - "operational semantics" - "incremental" researchr: "https://researchr.org/publication/Mosses-JLAP-2004" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "60-61" pages: "195-228" kind: "article" key: "Mosses-JLAP-2004" - title: "An Action Environment" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2006" doi: "http://dx.doi.org/10.1016/j.scico.2006.04.005" links: doi: "http://dx.doi.org/10.1016/j.scico.2006.04.005" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandIM06" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "61" number: "3" pages: "245-264" kind: "article" key: "BrandIM06" - title: "A Solution to Problem 7 - Parallel Combinator Reduction Machine -" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1983" researchr: "https://researchr.org/publication/Mosses83" cites: 0 citedby: 0 pages: "354-358" booktitle: "The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings" editor: - name: "B. Tim Denvir" link: "https://researchr.org/alias/b.-tim-denvir" - name: "W. T. Harwood" link: "https://researchr.org/alias/w.-t.-harwood" - name: "M. I. Jackson" link: "https://researchr.org/alias/m.-i.-jackson" - name: "M. J. Wray" link: "https://researchr.org/alias/m.-j.-wray" volume: "207" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-16047-7" kind: "inproceedings" key: "Mosses83" - title: "Preface" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Irek Ulidowski" link: "https://researchr.org/alias/irek-ulidowski" year: "2007" doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.015" links: doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.015" researchr: "https://researchr.org/publication/MossesU07" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "373" number: "3" pages: "161-162" kind: "article" key: "MossesU07" - title: "Logical Specification of Operational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1999" tags: - "semantics" - "operational semantics" researchr: "https://researchr.org/publication/Mosses99" cites: 0 citedby: 0 pages: "32-49" booktitle: "Computer Science Logic, 13th International Workshop, CSL 99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings" editor: - name: "Jörg Flum" link: "https://researchr.org/alias/j%C3%B6rg-flum" - name: "Mario Rodríguez-Artalejo" link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo" volume: "1683" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66536-6" kind: "inproceedings" key: "Mosses99" - title: "Action Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1986" tags: - "semantics" - " action semantics" researchr: "https://researchr.org/publication/Mosses86" cites: 0 citedby: 0 booktitle: "ADT" kind: "inproceedings" key: "Mosses86" - title: "Abstract Semantic Algebras" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1982" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip2/Mosses82" researchr: "https://researchr.org/publication/Mosses82" cites: 0 citedby: 0 pages: "45-72" booktitle: "Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982" editor: - name: "Dines Bjørner" link: "https://researchr.org/alias/dines-bj%C3%B8rner" publisher: "North-Holland" isbn: "0-444-86619-1" kind: "inproceedings" key: "Mosses82" - title: "Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models" author: - name: "Hélène Kirchner" link: "http://www.loria.fr/~hkirchne/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480373.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480373.htm" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/KirchnerM98" cites: 0 citedby: 0 pages: "373-388" booktitle: "Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, Proceedings" editor: - name: "Armando Martin Haeberer" link: "https://researchr.org/alias/armando-martin-haeberer" volume: "1548" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65462-3" kind: "inproceedings" key: "KirchnerM98" - title: "A Basic Abstract Semantic Algebra" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1984" tags: - " algebra" researchr: "https://researchr.org/publication/Mosses84" cites: 0 citedby: 0 pages: "87-107" booktitle: "Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings" editor: - name: "Gilles Kahn" link: "https://researchr.org/alias/gilles-kahn" - name: "David B. MacQueen" link: "https://researchr.org/alias/david-b.-macqueen" - name: "Gordon D. Plotkin" link: "https://researchr.org/alias/gordon-d.-plotkin" volume: "173" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-13346-1" kind: "inproceedings" key: "Mosses84" - title: "Reusable Components of Semantic Specifications" author: - name: "Martin Churchill" link: "https://researchr.org/alias/martin-churchill" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Neil Sculthorpe" link: "https://researchr.org/alias/neil-sculthorpe" - name: "Paolo Torrini" link: "https://researchr.org/alias/paolo-torrini" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-662-46734-3_4" links: doi: "http://dx.doi.org/10.1007/978-3-662-46734-3_4" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/taosd/ChurchillMST14" researchr: "https://researchr.org/publication/ChurchillMST14" cites: 0 citedby: 0 journal: "Transactions on Aspect-Oriented Software Development" volume: "12" pages: "132-179" kind: "article" key: "ChurchillMST14" - title: "VDM Semantics of Programming Languages: Combinators and Monads" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-75221-9_23" links: doi: "http://dx.doi.org/10.1007/978-3-540-75221-9_23" tags: - "programming languages" - "semantics" - "programming" researchr: "https://researchr.org/publication/Mosses07" cites: 0 citedby: 0 pages: "483-503" booktitle: "Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007" editor: - name: "Cliff B. Jones" link: "https://researchr.org/alias/cliff-b.-jones" - name: "Zhiming Liu" link: "https://researchr.org/alias/zhiming-liu" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" volume: "4700" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-75220-2" kind: "inproceedings" key: "Mosses07" - title: "Unified Algebras and Institutions" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1989" tags: - " algebra" researchr: "https://researchr.org/publication/Mosses89a" cites: 0 citedby: 0 pages: "304-312" booktitle: "Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "Mosses89a" - title: "Component-Based Description of Programming Languages" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2008" doi: "http://www.bcs.org/server.php?show=ConWebDoc.22912" links: doi: "http://www.bcs.org/server.php?show=ConWebDoc.22912" tags: - "programming languages" - "rule-based" - "programming" researchr: "https://researchr.org/publication/Mosses08" cites: 0 citedby: 0 pages: "275-286" booktitle: "Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008" editor: - name: "Erol Gelenbe" link: "https://researchr.org/alias/erol-gelenbe" - name: "Samson Abramsky" link: "https://researchr.org/alias/samson-abramsky" - name: "Vladimiro Sassone" link: "https://researchr.org/alias/vladimiro-sassone" publisher: "British Computer Society" kind: "inproceedings" key: "Mosses08" - title: "Composing Programming Languages by Combining Action-Semantics Modules" author: - name: "Kyung-Goo Doh" link: "https://researchr.org/alias/kyung-goo-doh" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#008" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#008" tags: - "programming languages" - "semantics" - " action semantics" - "programming" researchr: "https://researchr.org/publication/DohM01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "44" number: "2" pages: "87-109" kind: "article" key: "DohM01" - title: "On the Action Semantics of Concurrent Programming Languages" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1992" tags: - "programming languages" - "semantics" - " action semantics" - "programming" researchr: "https://researchr.org/publication/Mosses92%3A0" cites: 0 citedby: 0 pages: "398-424" booktitle: "Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "666" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-56596-5" kind: "inproceedings" key: "Mosses92:0" - title: "Compiler Generation Using Denotational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1976" tags: - "semantics" - "denotational semantics" - "compiler" researchr: "https://researchr.org/publication/Mosses76" cites: 0 citedby: 0 pages: "436-441" booktitle: "Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings" editor: - name: "Antoni W. Mazurkiewicz" link: "https://researchr.org/alias/antoni-w.-mazurkiewicz" volume: "45" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "Mosses76" - title: "Casl User Manual - Introduction to Using the Common Algebraic Specification Language" author: - name: "Michel Bidoit" link: "https://researchr.org/alias/michel-bidoit" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/BidoitM04" cites: 0 citedby: 0 volume: "2900" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20766-X" kind: "book" key: "BidoitM04" - title: "Generating Specialized Interpreters for Modular Structural Operational Semantics" author: - name: "Casper Bach Poulsen" link: "http://www.casperbp.net" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-14125-1_13" links: doi: "http://dx.doi.org/10.1007/978-3-319-14125-1_13" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/PoulsenM13" researchr: "https://researchr.org/publication/PoulsenM13" cites: 0 citedby: 0 pages: "220-236" booktitle: "Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers" editor: - name: "Gopal Gupta" link: "https://researchr.org/alias/gopal-gupta" - name: "Ricardo Peña" link: "https://researchr.org/alias/ricardo-pe%C3%B1a" volume: "8901" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-14125-1" kind: "inproceedings" key: "PoulsenM13" - title: "Constructive Action Semantics in OBJ" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2006" doi: "http://dx.doi.org/10.1007/11780274_15" links: doi: "http://dx.doi.org/10.1007/11780274_15" tags: - "semantics" - " action semantics" researchr: "https://researchr.org/publication/Mosses06" cites: 0 citedby: 0 pages: "281-295" booktitle: "Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday" editor: - name: "Kokichi Futatsugi" link: "https://researchr.org/alias/kokichi-futatsugi" - name: "Jean-Pierre Jouannaud" link: "https://researchr.org/alias/jean-pierre-jouannaud" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" volume: "4060" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35462-X" kind: "inproceedings" key: "Mosses06" - title: "Rewriting Extended Regular Expressions" author: - name: "Valentin M. Antimirov" link: "https://researchr.org/alias/valentin-m.-antimirov" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1993" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/AntimirovM93" cites: 0 citedby: 0 pages: "195-209" booktitle: "Developments in Language Theory" kind: "inproceedings" key: "AntimirovM93" - title: "Software meta-language engineering and CBS" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2019" doi: "https://doi.org/10.1016/j.jvlc.2018.11.003" links: doi: "https://doi.org/10.1016/j.jvlc.2018.11.003" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/vlc/Mosses19" researchr: "https://researchr.org/publication/Mosses19" cites: 0 citedby: 0 journal: "Journal of Computer Languages" volume: "50" pages: "39-48" kind: "article" key: "Mosses19" - title: "Executing Action Semantic Descriptions using ASF+SDF" author: - name: "Arie van Deursen" link: "http://www.st.ewi.tudelft.nl/~arie/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1993" tags: - "SDF" - "ASF+SDF" researchr: "https://researchr.org/publication/DeursenM93" cites: 0 citedby: 0 pages: "413-414" booktitle: "Algebraic Methodology and Software Technology (AMAST 93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993" editor: - name: "Maurice Nivat" link: "https://researchr.org/alias/maurice-nivat" - name: "Charles Rattray" link: "https://researchr.org/alias/charles-rattray" - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Giuseppe Scollo" link: "https://researchr.org/alias/giuseppe-scollo" series: "Workshops in Computing" publisher: "Springer" isbn: "3-540-19852-0" kind: "inproceedings" key: "DeursenM93" - title: "CASL: the Common Algebraic Specification Language" author: - name: "Egidio Astesiano" link: "https://researchr.org/alias/egidio-astesiano" - name: "Michel Bidoit" link: "https://researchr.org/alias/michel-bidoit" - name: "Hélène Kirchner" link: "http://www.loria.fr/~hkirchne/" - name: "Bernd Krieg-Brückner" link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Donald Sannella" link: "http://homepages.inf.ed.ac.uk/dts/" - name: "Andrzej Tarlecki" link: "https://researchr.org/alias/andrzej-tarlecki" year: "2002" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/AstesianoBKKMST02" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "286" number: "2" pages: "153-196" kind: "article" key: "AstesianoBKKMST02" - title: "Exploiting labels in Structural Operational Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://doi.acm.org/10.1145/967900.968195" abstract: "Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages.This paper shows how the use of labels can provide significantly simpler and more modular descriptions of programming languages. However, the full power of labels is obtained only when the set of labels is made into a category, as in the recently-proposed MSOS variant of SOS. " links: doi: "http://doi.acm.org/10.1145/967900.968195" successor: "https://researchr.org/publication/Mosses-FI-2004" tags: - "programming languages" - "semantics" - " structural operational semantics" - "SOS" - "programming" - "operational semantics" researchr: "https://researchr.org/publication/Mosses-SAC-2004" cites: 0 citedby: 0 pages: "1476-1481" booktitle: "Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004" editor: - name: "Hisham Haddad" link: "https://researchr.org/alias/hisham-haddad" - name: "Andrea Omicini" link: "https://researchr.org/alias/andrea-omicini" - name: "Roger L. Wainwright" link: "https://researchr.org/alias/roger-l.-wainwright" - name: "Lorie M. Liebrock" link: "https://researchr.org/alias/lorie-m.-liebrock" publisher: "ACM" isbn: "1-58113-812-1" kind: "inproceedings" key: "Mosses-SAC-2004" - title: "CoFI with Don Sannella" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2018" doi: "https://www.wikidata.org/entity/Q57783357" links: doi: "https://www.wikidata.org/entity/Q57783357" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/Mosses18" researchr: "https://researchr.org/publication/Mosses18" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "741" pages: "44-47" kind: "article" key: "Mosses18" - title: "Tool support for component-based semantics" author: - name: "L. Thomas van Binsbergen" link: "https://researchr.org/alias/l.-thomas-van-binsbergen" - name: "Neil Sculthorpe" link: "https://researchr.org/alias/neil-sculthorpe" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2016" doi: "http://doi.acm.org/10.1145/2892664.2893464" links: doi: "http://doi.acm.org/10.1145/2892664.2893464" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aosd/BinsbergenSM16" researchr: "https://researchr.org/publication/BinsbergenSM16" cites: 0 citedby: 0 pages: "8-11" booktitle: "Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016" editor: - name: "Lidia Fuentes" link: "https://researchr.org/alias/lidia-fuentes" - name: "Don S. Batory" link: "https://researchr.org/alias/don-s.-batory" - name: "Krzysztof Czarnecki" link: "https://researchr.org/alias/krzysztof-czarnecki" publisher: "ACM" isbn: "978-1-4503-4033-5" kind: "inproceedings" key: "BinsbergenSM16" - title: "SBLP 2008: XII Brazilian Symposium on Programming" author: - name: "Marco Tulio Valente" link: "https://researchr.org/alias/marco-tulio-valente" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Francisco Heron de Carvalho Jr" link: "https://researchr.org/alias/francisco-heron-de-carvalho-jr" year: "2008" doi: "http://www.jucs.org/jucs_14_21/sblp_2008" links: doi: "http://www.jucs.org/jucs_14_21/sblp_2008" tags: - "programming" researchr: "https://researchr.org/publication/ValenteMJ08" cites: 0 citedby: 0 journal: "J. UCS" volume: "14" number: "21" pages: "3412-3414" kind: "article" key: "ValenteMJ08" - title: "Foreword: Special Volume of TAPSOFT 1995 Papers" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Michael I. Schwartzbach" link: "http://www.brics.dk/~mis/" year: "1996" researchr: "https://researchr.org/publication/MossesNS96" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "167" number: "1&2" pages: "1" kind: "article" key: "MossesNS96" - title: "Unified Algebras and Action Semantics" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1989" tags: - "semantics" - " action semantics" - " algebra" researchr: "https://researchr.org/publication/Mosses89%3A0" cites: 0 citedby: 0 pages: "17-35" booktitle: "STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings" editor: - name: "Burkhard Monien" link: "https://researchr.org/alias/burkhard-monien" - name: "Robert Cori" link: "https://researchr.org/alias/robert-cori" volume: "349" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-50840-6" kind: "inproceedings" key: "Mosses89:0" - title: "The Use of Sorts in Algebraic Specifications" author: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "1991" tags: - "algebraic specification" - " algebra" researchr: "https://researchr.org/publication/Mosses91" cites: 0 citedby: 0 pages: "66-92" booktitle: "Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers" editor: - name: "Michel Bidoit" link: "https://researchr.org/alias/michel-bidoit" - name: "Christine Choppy" link: "https://researchr.org/alias/christine-choppy" volume: "655" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-56379-2" kind: "inproceedings" key: "Mosses91" - title: "Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic" author: - name: "Christiano de O. Braga" link: "https://researchr.org/alias/christiano-de-o.-braga" - name: "Edward Hermann Haeusler" link: "https://researchr.org/alias/edward-hermann-haeusler" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160407.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160407.htm" tags: - "semantics" - " action semantics" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" - "reflection" researchr: "https://researchr.org/publication/BragaHMM00" cites: 0 citedby: 0 pages: "407-421" booktitle: "Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings" editor: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" volume: "1816" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67530-2" kind: "inproceedings" key: "BragaHMM00" - title: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings" year: "1995" researchr: "https://researchr.org/publication/tapsoft%3A1995" cites: 0 citedby: 0 booktitle: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings" conference: "tapsoft" editor: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Michael I. Schwartzbach" link: "http://www.brics.dk/~mis/" volume: "915" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-59293-8" kind: "proceedings" key: "tapsoft:1995" - title: "Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected Papers" year: "2000" tags: - " algebra" researchr: "https://researchr.org/publication/wadt%3A1999" cites: 0 citedby: 0 booktitle: "Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected Papers" conference: "WADT" editor: - name: "Didier Bert" link: "https://researchr.org/alias/didier-bert" - name: "Christine Choppy" link: "https://researchr.org/alias/christine-choppy" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" volume: "1827" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67898-0" kind: "proceedings" key: "wadt:1999" - title: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers" year: "2004" tags: - " algebra" researchr: "https://researchr.org/publication/wadt%3A2004" cites: 0 citedby: 0 booktitle: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers" conference: "WADT" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" volume: "3423" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25327-0" kind: "proceedings" key: "wadt:2004" - title: "Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings" year: "2000" tags: - "e-science" researchr: "https://researchr.org/publication/ifipTCS%3A2000" cites: 0 citedby: 0 booktitle: "Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings" conference: "ifipTCS" editor: - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" - name: "Osamu Watanabe" link: "https://researchr.org/alias/osamu-watanabe" - name: "Masami Hagiya" link: "https://researchr.org/alias/masami-hagiya" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Takayasu Ito" link: "https://researchr.org/alias/takayasu-ito" volume: "1872" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67823-9" kind: "proceedings" key: "ifipTCS:2000"