Publications

The PLanComps approach to component-based specification of programming languages is based on the ideas and foundations explained in the publications listed below. Note: The notation and funcons presented in previous publications vary considerably; future publications should be consistent with the final release of CBS.

• P. D. Mosses, A component-based formal language workbench, in: Proceedings F-IDE 2019, EPTCS 310, 2019, pp. 29-34 doi:10.4204/EPTCS.310.4

• P. D. Mosses, Software meta-language engineering and CBS, Journal of Computer Languages 50 (2019) pp. 39–48. doi:10.1016/j.jvlc.2018.11.003

• L. T. van Binsbergen, N. Sculthorpe, P. D. Mosses, Executable component-based semantics, J. Log. Algebr. Methods Program. 103 (2019) pp. 184–212. doi:10.1016/j.jlamp.2018.12.004

• L. T. van Binsbergen, N. Sculthorpe, P. D. Mosses, Tool support for component-based semantics, in: Companion Proceedings of the 15th International Conference on Modularity, ACM, 2016, pp. 8-11. doi:10.1145/2892664.2893464

• N. Sculthorpe, P. Torrini, P. D. Mosses, A modular structural operational semantics for delimited continuations, in: Post-proceedings of the 2015 Workshop on Continuations, Vol. 212 of EPTCS, Open Publishing Association, 2016, pp. 63–80. doi:10.4204/EPTCS.212.5

• M. Churchill, P. D. Mosses, N. Sculthorpe, P. Torrini, Reusable components of semantic specifications, in: Transactions on Aspect-Oriented Software Development XII, Vol. 8989 of LNCS, Springer, 2015, pp. 132–179. doi:10.1007/978-3-662-46734-3_4

• P. D. Mosses, F. Vesely, Weak bisimulation as a congruence in MSOS, in: Logic, Rewriting, and Concurrency, Vol. 9200 of LNCS, Springer, 2015, pp. 519–538. doi:10.1007/978-3-319-23165-5_ 24

• P. D. Mosses, F. Vesely, FunKons: Component-based semantics in K, in: 10th International Workshop on Rewriting Logic and Its Applications, Vol. 8663 of LNCS, Springer, 2014, pp. 213–229. doi:10.1007/978-3-319-12904-4_12

• M. Churchill, P. D. Mosses, Modular bisimulation theory for computations and values, in: 16th International Conference on Foundations of Software Science and Computation Structures, Vol. 7794 of LNCS, Springer, 2013, pp. 97–112. doi:10.1007/ 978-3-642-37075-5_7

• A. Johnstone, P. D. Mosses, E. Scott, An agile approach to language modelling and development, Innovations Syst. Softw. Eng. 6 (2010) pp. 145–153. doi:10.1007/s11334-009-0111-6

• P. D. Mosses, Component-based semantics, in: Proceedings of the 8th international Workshop on Specification and Verification of Component-Based Systems, ACM, 2009, pp. 3-10. doi:10.1145/1596486.1596489

• P. D. Mosses, M. J. New, Implicit propagation in structural operational semantics, Electr. Notes Theor. Comput. Sci. 229 (2009) pp. 49-66. doi:10.1016/j.entcs.2009.07.073

• P. D. Mosses, Modular language descriptions, in: Third International Conference on Generative Programming and Component Engineering, Vol. 3286 of LNCS, Springer, 2004, p. 489. doi:10.1007/978-3-540-30175-2_27

• P. D. Mosses, Modular structural operational semantics, J. Log. Algebr. Program. 60-61 (2004) pp. 195-228. doi:10.1016/j.jlap.2004.03.008

---

← →

---