Yr Athro Peter Mosses

Athro Emeritws (Gwyddoniaeth), Science and Engineering

p.d.mosses@abertawe.ac.uk

Dolenni Ymchwil

https://orcid.org/0000-0002-5826-7520

ResearchGate

Google Scholar

ResearcherID

Scopus

Trosolwg

Enillodd Peter Mosses ei radd doethuriaeth ym 1975 ym Mhrifysgol Rhydychen. Rhwng 1976 a 2004 roedd wedi'i leoli ym Mhrifysgol Aarhus, Denmarc. Fe'i penodwyd yn Athro Cyfrifiadureg ym Mhrifysgol Abertawe yn 2005, ac yn Emeritws yn 2016. Ar hyn o bryd, mae'n ymweld â'r Grŵp Ieithoedd Rhaglennu ym mhrifysgol Technische Universiteit Delft, yr Iseldiroedd.

Meysydd Arbenigedd

Semanteg ieithoedd rhaglennu
Fframweithiau manyleb algebraidd

Uchafbwyntiau Gyrfa

Diddordebau Addysgu

Dim addysgu na goruchwylio.

Ymchwil Cydweithrediadau

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Mosses, P. (2019). Software meta-language engineering and CBS. Journal of Computer Languages, 50, 39-48.
https://doi.org/10.1016/j.jvlc.2018.11.003, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa47984
Binsbergen, L., Mosses, P., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212.
https://doi.org/10.1016/j.jlamp.2018.12.004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48792
Bach Poulsen, C. & Mosses, P. (2017). Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming, 88, 174-190.
https://doi.org/10.1016/j.jlamp.2016.05.001, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa28828
Sculthorpe, N., Torrini, P., & Mosses, P. (2016). A modular structural operational semantics for delimited continuations. In WoC 2015: Proceedings of the Workshop on Continuations (pp. 63-80). 2015 Workshop on Continuations.
https://doi.org/10.4204/EPTCS.212.5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48795
https://arxiv.org/html/1606.05839
Binsbergen, L., Sculthorpe, N., & Mosses, P. (2016). Tool support for component-based semantics. In MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). ACM.
https://doi.org/10.1145/2892664.2893464, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa26941
Mosses, P. & Vesely, F. (2015). Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency (pp. 519-538).
https://doi.org/10.1007/978-3-319-23165-5_24, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48794
Bach Poulsen, C., Mosses, P., & Torrini, P. (2015). Imperative Polymorphism by Store-Based Types as Abstract Interpretations. (pp. 3-8).
https://doi.org/10.1145/2678015.2682545, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48796
Bach Poulsen, C. & Mosses, P. (2014). Generating specialized interpreters for modular structural operational semantics. In Logic-Based Program Synthesis and Transformation (pp. 220-236).
https://doi.org/10.1007/978-3-319-14125-1_13, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20845
Mosses, P. & Vesely, F. (2014). FunKons: Component-Based Semantics in K. Rewriting Logic and Its Applications (pp. 213-229). WRLA 2014: Rewriting Logic and Its Applications
https://doi.org/10.1007/978-3-319-12904-4_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48793
Churchill, M., Mosses, P., & Torrini, P. (2014). Reusable components of semantic specifications. In Modularity '14 (pp. 145-156). ACM.
https://doi.org/10.1145/2577080.2577099, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17943

Holl Ymchwil

Erthyglau Cylchgronau

Mosses, P. (2019). Software meta-language engineering and CBS. Journal of Computer Languages, 50, 39-48.
https://doi.org/10.1016/j.jvlc.2018.11.003, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa47984
Binsbergen, L., Mosses, P., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212.
https://doi.org/10.1016/j.jlamp.2018.12.004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48792
Bach Poulsen, C. & Mosses, P. (2017). Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming, 88, 174-190.
https://doi.org/10.1016/j.jlamp.2016.05.001, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa28828
Mosses, P. (2013). Semantics of programming languages: Using Asf+Sdf. Science of Computer Programming
https://doi.org/10.1016/j.scico.2013.11.038, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17527
Johnstone, A., Mosses, P., & Scott, E. (2010). An agile approach to language modelling and development. Innovations in Systems and Software Engineering, 6(1-2), 145-153.
https://doi.org/10.1007/s11334-009-0111-6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa225
Mosses, P. (2010). VDM semantics of programming languages: combinators and monads. Formal Aspects of Computing, 23(2), 221-238.
https://doi.org/10.1007/s00165-009-0145-4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5290

Penodau Llyfrau

Churchill, M., Mosses, P., Sculthorpe, N., & Torrini, P. (2015). Reusable Components of Semantic Specifications. Transactions on Aspect-Oriented Software Development XII (pp. 132-179). Springer
https://doi.org/10.1007/978-3-662-46734-3_4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20505
Mosses, P. & Vesely, F. (2015). Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency (pp. 519-538).
https://doi.org/10.1007/978-3-319-23165-5_24, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48794
Mosses, P. & Vesely, F. (2014). FunKons: Component-Based Semantics in K. Rewriting Logic and Its Applications (pp. 213-229). WRLA 2014: Rewriting Logic and Its Applications
https://doi.org/10.1007/978-3-319-12904-4_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48793
Mosses, P. (2010). Programming language description languages: From Christopher Strachey to semantics online. (pp. 249-273). Springer
https://doi.org/10.1007/978-1-84882-736-3_8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8

Cyfraniadau Cynadleddau

Mosses, P. (2021). Fundamental Constructs in Programming Languages. In ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation (pp. 296-321). Springer International Publishing.
https://doi.org/10.1007/978-3-030-89159-6_19, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa58598
Sculthorpe, N., Torrini, P., & Mosses, P. (2016). A modular structural operational semantics for delimited continuations. In WoC 2015: Proceedings of the Workshop on Continuations (pp. 63-80). 2015 Workshop on Continuations.
https://doi.org/10.4204/EPTCS.212.5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48795
https://arxiv.org/html/1606.05839
Binsbergen, L., Sculthorpe, N., & Mosses, P. (2016). Tool support for component-based semantics. In MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). ACM.
https://doi.org/10.1145/2892664.2893464, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa26941
Bach Poulsen, C., Mosses, P., & Torrini, P. (2015). Imperative Polymorphism by Store-Based Types as Abstract Interpretations. (pp. 3-8).
https://doi.org/10.1145/2678015.2682545, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48796
Bach Poulsen, C. & Mosses, P. (2014). Generating specialized interpreters for modular structural operational semantics. In Logic-Based Program Synthesis and Transformation (pp. 220-236).
https://doi.org/10.1007/978-3-319-14125-1_13, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20845
Churchill, M., Mosses, P., & Torrini, P. (2014). Reusable components of semantic specifications. In Modularity '14 (pp. 145-156). ACM.
https://doi.org/10.1145/2577080.2577099, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17943
Bach Poulsen, C. & Mosses, P. (2014). Deriving pretty-big-step semantics from small-step semantics. In Programming Languages and Systems (pp. 270-289). Springer.
https://doi.org/10.1007/978-3-642-54833-8_15, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17526
Churchill, M., Mosses, P., & Mousavi, M. (2013). Modular semantics for transition system specifications with negative premises. In CONCUR 2013 – Concurrency Theory (pp. 46-60). Springer.
https://doi.org/10.1007/978-3-642-40184-8_5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17525
Churchill, M. & Mosses, P. (2013). Modular bisimulation theory for computations and values. In FOSSACS: Foundations of Software Science and Computation Structures (pp. 97-112). Springer.
https://doi.org/10.1007/978-3-642-37075-5_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa14363
http://link.springer.com/chapter/10.1007%2F978-3-642-37075-5_7
Mosses, P., Mousavi, M., & Reniers, M. (2010). Robustness of equations under operational extensions. In Electronic Proceedings in Theoretical Computer Science (pp. 106-120).
https://doi.org/10.4204/EPTCS.41.8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1170
Mosses, P. (2009). Component-based semantics. (pp. 3-10). ACM.
https://doi.org/10.1145/1596486.1596489, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa41
Mosses, P. & New, M. (2009). Implicit propagation in structural operational semantics. In Electronic Notes in Theoretical Computer Science (pp. 49-66). Elsevier.
https://doi.org/10.1016/j.entcs.2009.07.073, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa25
Mosses, P. (2008). Component-based description of programming languages. (pp. 275-286). BCS.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa22
http://www.bcs.org/content/ConWebDoc/22912

Cynnyrch Ymchwil Arall

Mosses, P. & Glabbeek, R. (2009). Special Issue on Structural Operational Semantics (SOS)
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa124
Glabbeek, R. & Mosses, P. (2009). Special issue on Structural Operational Semantics (SOS): Preface
https://doi.org/10.1016/j.ic.2008.10.006, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa159

Grantiau a Phrosiectau Allweddol

PLanCompS: Programming Language Components and Specifications 2011 - 2015

, £695,780

Hanes Gyrfa

Cymrawd Ymchwil Iau , Prifysgol Rhydychen (Coleg Wolfson)

Hydref 1975 - Medi 1976
Lektor, Prifysgol Aarhus, Denmarc

Medi 1976 - Rhagfyr 2004
Athro, Prifysgol Abertawe

Ionawr 2005 - Rhagfyr 2015
Athro Emeritus, Prifysgol Abertawe

Ionawr 2016 - Presennol