- Software Meta-language Engineering and CBS. Mosses P.D., JVLC 50:39-48, 2019.
- Executable Component-Based Semantics. Van Binsbergen L.T., Mosses P.D. and Sculthorpe N., JLAMP 103:184-212, 2019.
- Funcons for Homogeneous Generative Meta-Programming. Van Binsbergen L.T., GPCE 2018.
- Tool Support for Component-Based Semantics. Van Binsbergen L.T., Sculthorpe N. and Mosses P.D., Modularity 2016 Companion: 8–11, 2016.
- A Modular Structural Operational Semantics for Delimited Continuations. Sculthorpe N., Torrini P., and Mosses P.D., WoC 2015, EPTCS 212: 63–80, 2016.
- Reusable Components of Semantic Specifications (extended version). Churchill M., Mosses P.D., Sculthorpe N. and Torrini P., Transactions on AOSD XII, LNCS 8989: 132–179, 2015.
- Imperative Polymorphism by Store-Based Types as Abstract Interpretations. Bach Poulsen C., Mosses P.D., and Torrini P., PEPM 2015.
- Modular grammar specification, Adrian Johnstone, Elizabeth Scott, Mark van den Brand. Sci. Comput. Program. 87: 23–43, 2014.
- Reusable Components of Semantic Specifications. Churchill M., Mosses P.D. and Torrini P., Modularity 2014.
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics. Bach Poulsen, C. and Mosses P.D., ESOP 2014.
- FunKons: Component-Based Semantics in K. Mosses, P.D. and Vesely, F., WRLA 2014.
- GLL parse-tree generation. Elizabeth Scott, 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, Jurgen J. Vinju. SLE 2013: 137–156.
- Generating Specialized Interpreters for Modular Structural Operational Semantics. Bach Poulsen C., Mosses P.D., 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, Elizabeth Scott. SLE 2012: 224–243, 2012.
- Modular Semantics for Transition System Specifications with Negative Premises. Churchill, M., Mosses, P.D. and Mousavi, M., CONCUR 2013.
- Modular Bisimulation Theory for Computations and Values. Churchill, M. and Mosses P.D., FoSSaCS 2013.
- VDM Semantics of Programming Languages: Combinators and Monads. Mosses, P.D. Formal Aspects of Computing 23: 221–238, 2011.
- An agile approach to language modelling and development. Johnstone A, Mosses PD, Scott E. Innov Syst Softw Eng 6(1-2): 145–153, 2010.
- Translator Generation Using ART, Adrian Johnstone, Elizabeth Scott. SLE 2010: 306–315.
Related Publications
The following previous publications established the underpinnings for the PLanCompS project. Links are to DOIs were possible, and publishers otherwise.
- Tear-insert-fold grammars. Johnstone A, Scott E. LDTA 2010. ACM.
- Robustness of equations under operational extensions. Mosses PD, Mousavi M, Reniers MA. In EXPRESS 2010, EPTCS.
- GLL parsing. Scott E, Johnstone A. ENTCS 253(7):177–189, 2010.
- Implicit propagation in structural operational semantics. Mosses PD, New MJ. ENTCS 229(4):49–66, 2009.
- Component-based semantics. Mosses, P. 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. Mosses PD. In Teaching Formal Methods. BCS, 2006. Mosses PD. Component-based description of programming languages. In Visions of Computer Science, pp. 275–286. BCS, 2008.
- A cubic Tomita-style GLR parsing algorithm. Scott E, Johnstone A, et al. Acta Inf 44:427–461, 2007.
- Right nulled GLR parsers. Scott E, Johnstone A. ACM Trans Program Lang Syst 28:577–618, 2006.
- An action environment. Brand MGJvd, Iversen J, Mosses PD. Sci Comput Program 61:245–264, 2006.
- Constructive action semantics for Core ML. Iversen J, Mosses PD. Software, IEE Proc 152:79–98, 2005.
- Modular structural operational semantics. Mosses PD. J Log Algebr Program 60-61:195–228, 2004.
- Composing programming languages by combining action-semantics modules. Doh KG, Mosses PD. Sci Comput Progr 47:3–36, 2003.
- Action Semantics. Mosses PD. Cambridge Tracts in TCS, vol. 26. CUP, 1992.
- SIS: Semantics implementation system. Mosses PD. TR MD-30, Dept Comput Sci, Univ Aarhus, 1979.
- Mathematical Semantics and Compiler Generation. Mosses PD. DPhil dissertation, Univ Oxford, 1975.