BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mosses:Peter_D=

Facilitated 11 volumes:

SLE 2014PrCo
SLE 2012PrCo
SLE 2011PrCo
LDTA 2010PrCo
SLE 2010PrCo
GTTSE 2005SciCo
LDTA 2003PrCo
LDTA 2002PrCo
LDTA 2001PrCo
TAPSOFT CAAP/FASE 1995Ed
TAPSOFT 1995Ed

Contributed to:

PEPM 20152015
ESOP 20142014
WRLA 20142014
FOSSACS 20132013
LOPSTR 20132013
GPCE 20042004
LDTA 20042004
SCP, 20062006
SAC 20042004
LDTA 20022002
LOPSTR 20022002
LDTA 20012001
SCP, 20032003
CSL 19991999
WRLA 19981998
ASF+SDF 19971997
FME 19941994
DLT 19931993
POPL 19891989
ICALP 19801980
SDCG 19801980
SLE 20172017
TAPSOFT CAAP/FASE 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.