Travelled to:1 × Cyprus
1 × Denmark
1 × Finland
1 × India
1 × Italy
1 × The Netherlands
1 × USA
2 × Canada
2 × France
4 × Spain
Collaborated with:∅ C.B.Poulsen M.v.d.Brand J.Iversen K.Doh F.Vesely M.Churchill M.Musicante V.M.Antimirov P.Torrini C.d.O.Braga E.H.Haeusler J.Meseguer
Talks about:semant (11) action (7) modular (5) languag (5) environ (3) rewrit (3) modul (3) logic (3) oper (3) interpret (2)
♂ Person: Peter D. Mosses
DBLP: Mosses:Peter_D=
Facilitated 11 volumes:
PrCoPrCoPrCo
PrCoPrCo
SciCoPrCoPrCoPrCo
EdEdContributed to:
2015
2014
2014
2013
2013
200420042006
20042002200220012003
19991998
1997
1994
1993
1989
1980
198020171997Wrote 24 papers:
- PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism
- Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.
- ESOP-2014-PoulsenM #semantics
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.
- WRLA-2014-MossesV #component #named #semantics
- FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.
- FoSSaCS-2013-ChurchillM #bisimulation #composition
- Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.
- LOPSTR-2013-PoulsenM #composition #generative #semantics
- Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
- GPCE-2004-Mosses #composition
- Modular Language Descriptions (PDM), p. 489.
- LDTA-2004-BrandIM
- An Action Environment (MvdB, JI, PDM), pp. 149–168.
- LDTA-2004-BrandIM04a #tool support
- The Action Environment: — Tool Demonstration -- (MvdB, JI, PDM), pp. 177–180.
- LDTA-J-2004-BrandIM
- An Action Environment (MvdB, JI, PDM), pp. 245–264.
- SAC-2004-Mosses #semantics
- Exploiting labels in Structural Operational Semantics (PDM), pp. 1476–1481.
- LDTA-2002-Mosses #action semantics #asf+sdf #semantics
- Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
- LOPSTR-2002-BragaHMM #composition #logic
- Mapping Modular SOS to Rewriting Logic (CdOB, EHH, JM, PDM), pp. 262–277.
- LDTA-2001-DohM #programming language #semantics
- Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.
- LDTA-J-2001-DohM #programming language #semantics
- Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.
- CSL-1999-Mosses #logic #semantics #specification
- Logical Specification of Operational Semantics (PDM), pp. 32–49.
- WRLA-1998-Mosses #composition #logic #semantics
- Semantics, modularity, and rewriting logic (PDM), pp. 404–421.
- ASF+SDF-1997-Mosses #asf+sdf
- CASL for ASF+SDF users (PDM), p. 12.
- FME-1994-MossesM #action semantics #concurrent #ml #semantics
- An Action Semantics for ML Concurrency Primitives (PDM, MM), pp. 461–479.
- DLT-1993-AntimirovM #regular expression
- Rewriting Extended Regular Expressions (VMA, PDM), pp. 195–209.
- POPL-1989-Mosses #algebra
- Unified Algebras and Modules (PDM), pp. 329–343.
- ICALP-1980-Mosses #approach #compilation #correctness
- A Constructive Approach to Compiler Correctness (PDM), pp. 449–469.
- SDCG-1980-Mosses #approach #compilation #correctness
- A constructive approach to compiler correctness (PDM), pp. 189–210.
- SLE-2017-Mosses #metalanguage #specification
- Engineering meta-languages for specifying software languages (PDM), p. 1.
- TAPSOFT-1997-Mosses #algebra #development #framework #named #specification
- CoFI: The Common Framework Initiative for Algebraic Specification and Development (PDM), pp. 115–137.