Peter D. Mosses - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

VDM semantics of programming languages: combinators and monadsPeter D. Mosses. fac, 23(2):221-238, 2011. [doi]

2010

An agile approach to language modelling and developmentAdrian Johnstone, Peter D. Mosses, Elizabeth Scott. isse, 6(1-2):145-153, 2010. [doi]

2009

Implicit Propagation in Structural Operational SemanticsPeter D. Mosses, Mark J. New. ENTCS, 229(4):49-66, 2009. [doi]

Special issue on structural operational semanticsRob J. van Glabbeek, Peter D. Mosses. iandc, 207(2):83-84, 2009. [doi]

2008

Component-Based Description of Programming LanguagesPeter D. Mosses. bcs 2008: 275-286 [doi]

SBLP 2008: XII Brazilian Symposium on ProgrammingMarco Tulio Valente, Peter D. Mosses, Francisco Heron de Carvalho Jr. jucs, 14(21):3412-3414, 2008. [doi]

2007

PrefacePeter D. Mosses, Irek Ulidowski. TCS, 373(3):161-162, 2007. [doi]

VDM Semantics of Programming Languages: Combinators and MonadsPeter D. Mosses. birthday 2007: 483-503 [doi]

PrefaceRob J. van Glabbeek, Peter D. Mosses. ENTCS, 175(1):1-2, 2007. [doi]

2006

PrefacePeter D. Mosses, Irek Ulidowski. ENTCS, 156(1):1-2, 2006. [doi]

Constructive Action Semantics in OBJPeter D. Mosses. BIRTHDAY 2006: 281-295 [doi]

Formal Semantics of Programming Languages: - An Overview - Peter D. Mosses. ENTCS, 148(1):41-73, 2006. [doi]

An Action EnvironmentMark G. J. van den Brand, Jørgen Iversen, Peter D. Mosses. SCP, 61(3):245-264, 2006. [doi]

2005

A Constructive Approach to Language DefinitionPeter D. Mosses. jucs, 11(7):1117-1134, 2005. [doi]

2004

Casl User Manual - Introduction to Using the Common Algebraic Specification LanguageMichel Bidoit, Peter D. Mosses. Volume 2900 of Lecture Notes in Computer Science, Springer, 2004.

Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected PapersJosé Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Volume 3423 of Lecture Notes in Computer Science, Springer, 2004.

Modular Language DescriptionsPeter D. Mosses. GPCE 2004: 489 [doi]

Exploiting Labels in Structural Operational SemanticsPeter D. Mosses. FUIN, 60(1-4):17-31, 2004. [doi]

Exploiting labels in Structural Operational SemanticsPeter D. Mosses. SAC 2004: 1476-1481 [doi]

CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification LanguagePeter D. Mosses. Volume 2960 of Lecture Notes in Computer Science, Springer, 2004.

Modular structural operational semanticsPeter D. Mosses. jlp, 60-61:195-228, 2004. [doi]

An Action EnvironmentMark G. J. van den Brand, Jørgen Iversen, Peter D. Mosses. ENTCS, 110:149-168, 2004. [doi]

The Action Environment: -- Tool Demonstration --Mark G. J. van den Brand, Jørgen Iversen, Peter D. Mosses. ENTCS, 110:177-180, 2004. [doi]

2003

Composing programming languages by combining action-semantics modulesKyung-Goo Doh, Peter D. Mosses. SCP, 47(1):3-36, 2003. [doi]

2002

2001

Composing Programming Languages by Combining Action-Semantics ModulesKyung-Goo Doh, Peter D. Mosses. ENTCS, 44(2), 2001. [doi]

Algebraic Specifications, Higher-order Types and Set-theoretic ModelsHélène Kirchner, Peter D. Mosses. logcom, 11(3):453-481, 2001. [doi]

The Varieties of Programming Language SemanticsPeter D. Mosses. ershov 2001: 165-190 [doi]

CoFI: The Common Framework Initiative for Algebraic Specification and DevelopmentPeter D. Mosses. In Current Trends in Theoretical Computer Science. pages 153-163, 2001.

2000

Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected PapersDidier Bert, Christine Choppy, Peter D. Mosses, editors, Volume 1827 of Lecture Notes in Computer Science, Springer, 2000.

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting LogicChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses. amast 2000: 407-421 [doi]

A Foreword to Fundamental Concepts in Programming Languages Peter D. Mosses. lisp, 13(1/2):7-9, 2000.

The Varieties of Programming Language SemanticsPeter D. Mosses. ifipTCS 2000: 624-628 [doi]

Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, ProceedingsJan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito, editors, Volume 1872 of Lecture Notes in Computer Science, Springer, 2000.

1999

Foundations of Modular SOSPeter D. Mosses. mfcs 1999: 70-80

Logical Specification of Operational SemanticsPeter D. Mosses. csl 1999: 32-49

1998

Algebraic Specifications, Higher-Order Types, and Set-Theoretic ModelsHélène Kirchner, Peter D. Mosses. amast 1999: 373-388 [doi]

CASL: A Guided Tour of Its DesignPeter D. Mosses. WADT 1999: 216-240 [doi]

Semantics, modularity, and rewriting logicPeter D. Mosses. ENTCS, 15, 1998. [doi]

1997

CoFI: The Common Framework Initiative for Algebraic Specification and DevelopmentPeter D. Mosses. tapsoft 1997: 115-137

1996

1995

Rewriting Extended Regular ExpressionsValentin M. Antimirov, Peter D. Mosses. TCS, 143(1):51-72, 1995. [doi]

R:::n:::- and G:::n:::-LogicsClaus Hintermeier, Hélène Kirchner, Peter D. Mosses. hoa 1996: 90-108

Combining Algebraic and Set-Theoretic SpecificationsClaus Hintermeier, Hélène Kirchner, Peter D. Mosses. compass 1996: 255-273

TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, ProceedingsPeter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, editors, Volume 915 of Lecture Notes in Computer Science, Springer, 1995.

1994

An Action Semantics for ML Concurrency PrimitivesPeter D. Mosses, Martín Musicante. fm 1994: 461-479

1993

Rewriting Extended Regular ExpressionsValentin M. Antimirov, Peter D. Mosses. dlt 1993: 195-209

Executing Action Semantic Descriptions using ASF+SDFArie van Deursen, Peter D. Mosses. amast 1994: 413-414

1992

Specifying Asynchronous Transfer of ControlPadmanabhan Krishnan, Peter D. Mosses. ftrtft 1991: 291-306

Unified Algebras and Abstract SyntaxPeter D. Mosses. compass 1994: 280-294

On the Action Semantics of Concurrent Programming LanguagesPeter D. Mosses. rex 1993: 398-424

1991

The Use of Sorts in Algebraic SpecificationsPeter D. Mosses. compass 1993: 66-92

1990

Denotational SemanticsPeter D. Mosses. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 575-631, 1990.

1989

Unified Algebras and ModulesPeter D. Mosses. POPL 1989: 329-343

Unified Algebras and InstitutionsPeter D. Mosses. lics 1989: 304-312

Unified Algebras and Action SemanticsPeter D. Mosses. STACS 1989: 17-35

1988

Unified AlgebrasPeter D. Mosses. WADT 1988:

1987

On Proving Limiting CompletenessPeter D. Mosses, Gordon D. Plotkin. siamcomp, 16(1):179-194, 1987.

1986

Action SemanticsPeter D. Mosses. adt 1986:

1984

A Basic Abstract Semantic AlgebraPeter D. Mosses. sdt 1984: 87-107

1983

A Solution to Problem 7 - Parallel Combinator Reduction Machine -Peter D. Mosses. acs 1985: 354-358

1981

A Semantic Algebra for Binding ConstructsPeter D. Mosses. icfpc 1981: 408-418

1980

A Constructive Approach to Compiler CorrectnessPeter D. Mosses. icalp 1980: 449-469

A constructive approach to compiler correctnessPeter D. Mosses. CC 1980: 189-210

1976

Compiler Generation Using Denotational SemanticsPeter D. Mosses. mfcs 1976: 436-441

1974

The Semantics of Semantic EquationsPeter D. Mosses. mfcs 1975: 409-422

Home PagePeter D. Mosses.