Prof Peter Mosses
Professor, Swansea UniversitySwansea, United Kingdom
Research field: Computer and Information Science - Programming Languages
Semantics of programming languages, algebraic specification frameworks
Publications
-
Journal Article (20)
-
Adrian Johnstone, Peter D Mosses, Elizabeth Scott (2010) An Agile Approach to Language Modelling and Development. In Innov. Syst. Softw. Eng..
-
Rob J van Glabbeek, Peter D Mosses (2009) Preface: Special Issue on {Structural Operational Semantics} ({SOS}), 83-84. In Inf. Comput. 207 (2).
-
Peter D Mosses (2009) {VDM} Semantics of Programming Languages: Combinators and Monads. In Formal Aspects Comput..
-
Peter D Mosses, Irek Ulidowski (2007) Preface to Special Issue for {SOS} '05, 161-162. In Theor. Comput. Sci. 373 (3).
-
Mark van den Brand, J{ø}rgen Iversen, Peter D Mosses (2006) An Action Environment, 245-264. In Sci. Comput. Program. 61 (3).
-
Peter D Mosses (2005) A Constructive Approach to Language Definition, 1117-1134. In J. Univ. Comput. Sci. 11 (7).
-
J{ø}rgen Iversen, Peter D Mosses (2005) Constructive Action Semantics for {Core ML}, 79-98. In Software, IEE Proceedings.
-
Peter D Mosses (2004) Exploiting Labels in Structural Operational Semantics, 17-31. In Fundam. Inform. 60 (1-4).
-
Peter D Mosses (2004) Modular Structural Operational Semantics, 195-228. In J. Log. Algebr. Program..
-
Kyung-Goo Doh, Peter D Mosses (2003) Composing Programming Languages by Combining Action-Semantics Modules, 3-36. In Sci. Comput. Program. 47 (1).
- See all
-
-
Book (2)
-
Michel Bidoit, Peter D Mosses (2004) \textsc{Casl} User Manual -- Introduction to Using the Common Algebraic Specification Language. In Springer.
-
Peter D Mosses (1992) Action Semantics. In Cambridge University Press.
-
-
Generic (7)
-
Peter D Mosses (1999) A Modular {SOS} for {Action Notation}..
-
Peter D Mosses (1999) A Modular {SOS} for {ML} Concurrency Primitives..
-
Peter D Mosses (1999) Foundations of Modular {SOS}..
-
Peter D Mosses (1996) A Tutorial on Action Semantics..
-
Claus Hintermeier, Hélène Kirchner, Peter D Mosses (1996) Combining Algebraic and Set-Theoretic Specifications..
-
Peter D Mosses (1979) {SIS, Semantics Implementation System}: Reference Manual and User Guide..
-
Peter D Mosses (1974) The Mathematical Semantics of {Algol60}..
-
-
Book Section (6)
-
Peter D Mosses (2009) Programming Language Description Languages: From {Christopher Strachey} to Semantics Online, 249-273. In Formal Methods: State of the Art and New Directions.
-
Hubert Baumeister, Maura Cerioli, Anne Haxthausen et al. (2004) \textsc{Casl} Semantics, 115-271..
-
Peter D Mosses (2001) {CoFI}: The {Common Framework Initiative} for Algebraic Specification and Development, 153-163. In Current Trends in Theoretical Computer Science.
-
Peter D Mosses (2000) \textsc{Casl} for {CafeOBJ} Users, 121-144. In {CAFE}: An Industrial-Strength Algebraic Formal Method.
-
Peter D Mosses (1991) A Practical Introduction to Denotational Semantics, 1-49. In Formal Description of Programming Concepts.
-
Peter D Mosses (1990) Denotational Semantics, 575-631. In Handbook of TCS.
-
-
Conference Proceedings (59)
-
Peter D Mosses (2009) Component-Based Semantics, 3-10. In SAVCBS '09.
-
Peter D Mosses, Mark J New (2009) Implicit Propagation in Structural Operational Semantics, 49-66. In SOS 2008.
-
Peter D Mosses (2008) Component-Based Description of Programming Languages, 275-286. In Visions of Computer Science.
-
Rob J van Glabbeek, Peter D Mosses (2007) Preface to Proceedings of {SOS} '06, 1-3. In SOS '06.
-
Peter D Mosses (2007) {VDM} Semantics of Programming Languages: Combinators and Monads, 483-503. In Formal Methods and Hybrid Real-Time Systems.
-
Peter D Mosses (2006) Constructive Action Semantics in {OBJ}, 281-295. In Essays Dedicated to Joseph A. Goguen.
-
Peter D Mosses (2006) Formal Semantics of Programming Languages: An Overview, 41-73. In FoVMT '04.
-
Peter D Mosses, Irek Ulidowski (2006) Preface to Proceedings of {SOS} '05, 1-2. In SOS '05.
-
Peter D Mosses (2006) Teaching Semantics of Programming Languages with {Modular SOS}. In Teaching Formal Methods: Practice and Experience.
-
Mark van den Brand, J{ø}rgen Iversen, Peter D Mosses (2004) An Action Environment, 149-168. In LDTA'04.
- See all
-
-
Thesis (1)
-
Peter D Mosses (1975) Mathematical Semantics and Compiler Generation.
-
Biographical Information
No biographical information added yet.
CV
Professional Experience
2005 - Present
Professor at Swansea University
Swansea, United Kingdom
Swansea, United Kingdom
Education
Dec 1967 - Dec 1975
University of Oxford
in Oxford, United Kingdom
BA, MSc, DPhil
BA, MSc, DPhil
Contact Information
| Webpage: | http://www.cs.swan.ac.uk/~cspdm/ |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Peter is a member of
Public groups Peter is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more