Publications

• Software Meta-language Engineering and CBS. Peter D. Mosses. JVLC 50:39-48, 2019.
• Executable Component-Based Semantics. L. Thomas van Binsbergen, Peter D. Mosses and Neil Sculthorpe. JLAMP 103:184-212, 2019.
• Funcons for Homogeneous Generative Meta-Programming. L. Thomas van Binsbergen. GPCE 2018.
• Tool Support for Component-Based Semantics. L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. Modularity 2016 Companion: 8–11, 2016.
• A Modular Structural Operational Semantics for Delimited Continuations. Neil Sculthorpe, Paolo Torrini and Peter D. Mosses. WoC 2015, EPTCS 212: 63–80, 2016.
• Reusable Components of Semantic Specifications (extended version). Martin Churchill, Peter D. Mosses, Neil Sculthorpe and Paolo Torrini. Transactions on AOSD XII, LNCS 8989: 132–179, 2015.
• Imperative Polymorphism by Store-Based Types as Abstract Interpretations. Casper Bach Poulsen, Peter D. Mosses and Paolo Torrini. PEPM 2015.
• Modular grammar specification. Adrian Johnstone, Elizabeth Scott and Mark van den Brand. Sci. Comput. Program. 87: 23–43, 2014.
• Reusable Components of Semantic Specifications. Martin Churchill, Peter D. Mosses and Paolo Torrini. Modularity 2014.
• Deriving Pretty-Big-Step Semantics from Small-Step Semantics. Casper Bach Poulsen and Peter D. Mosses. ESOP 2014.
• FunKons: Component-Based Semantics in K. Peter D. Mosses and Ferdinand Vesely. WRLA 2014.
• GLL parse-tree generation. Elizabeth Scott and Adrian Johnstone. Sci. Comput. Program. 78(10): 1828–1844, 2013.
• Safe Specification of Operator Precedence Rules. Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott and Jurgen J. Vinju. SLE 2013: 137–156.
• Generating Specialized Interpreters for Modular Structural Operational Semantics. Casper Bach Poulsen and Peter D. Mosses. LOPSTR 2013.
• Island Grammar-Based Parsing Using GLL and Tom. Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau and Elizabeth Scott. SLE 2012: 224–243, 2012.
• Modular Semantics for Transition System Specifications with Negative Premises. Martin Churchill, Peter D. Mosses and Mohammad Mousavi. CONCUR 2013.
• Modular Bisimulation Theory for Computations and Values. Martin Churchill and Peter D. Mosses. FoSSaCS 2013.
• VDM Semantics of Programming Languages: Combinators and Monads. Peter D. Mosses. Formal Aspects of Computing 23: 221–238, 2011.
• An agile approach to language modelling and development. Adrian Johnstone, Peter D. Mosses and Elizabeth Scott. Innov Syst Softw Eng 6(1-2): 145–153, 2010.
• Translator Generation Using ART. Adrian Johnstone and Elizabeth Scott. SLE 2010: 306–315.

Previous Publications

The following previous publications established the underpinnings for the PLanCompS project. Links are to DOIs where possible, and publishers otherwise.

• Tear-insert-fold grammars. Adrian Johnstone and Elizabeth Scott. LDTA 2010. ACM.
• Robustness of equations under operational extensions. Peter D. Mosses, Mohammad Mousavi and Michel A. Reniers. EXPRESS 2010, EPTCS.
• GLL parsing. Elizabeth Scott and Adrian Johnstone. ENTCS 253(7):177–189, 2010.
• Implicit propagation in structural operational semantics. Peter D. Mosses and Mark J. New. ENTCS 229(4):49–66, 2009.
• Component-based semantics.. Peter D. Mosses. Proc. 8th Intl. Workshop on Specification and Verification of Component-Based Systems, Amsterdam, 25th August 2009, ACM, 2009
• Teaching semantics of programming languages with Modular SOS. Peter D. Mosses. In Teaching Formal Methods. BCS, 2006.
• Component-based description of programming languages. Peter D. Mosses. In Visions of Computer Science, pp. 275–286. BCS, 2008.
• A cubic Tomita-style GLR parsing algorithm. Elizabeth Scott, Adrian Johnstone, et al. Acta Inf 44:427–461, 2007.
• Right nulled GLR parsers. Elizabeth Scott and Adrian Johnstone. ACM Trans Program Lang Syst 28:577–618, 2006.
• An action environment. Mark G. J. van den Brand, Jørgen Iversen and Peter D. Mosses. Sci Comput Program 61:245–264, 2006.
• Constructive action semantics for Core ML. Jørgen Iversen and Peter D. Mosses. Software, IEE Proc 152:79–98, 2005.
• Modular structural operational semantics. Peter D. Mosses. J Log Algebr Program 60-61:195–228, 2004.
• Composing programming languages by combining action-semantics modules. Kyung-Goo Doh and Peter D. Mosses. Sci Comput Progr 47:3–36, 2003.
• Action Semantics. Peter D. Mosses. Cambridge Tracts in TCS, vol. 26. CUP, 1992.
• SIS: Semantics implementation system. Peter D. Mosses. TR MD-30, Dept Comput Sci, Univ Aarhus, 1979.
• Mathematical Semantics and Compiler Generation. Peter D. Mosses. DPhil dissertation, Univ Oxford, 1975.