Peter Mosses | Swansea University (original) (raw)

Papers by Peter Mosses

Research paper thumbnail of Action semantics

Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science... more Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science Managing Editor Professor CJ van Rijsbergen, Department of Computing Science, University of Glasgow Editorial Board ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Denotational semantics

Handbook of theoretical computer science (vol. B), Jan 1, 1991

Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search:... more Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search: The ACM Digital Library The Guide. Feedback. Denotational semantics. Source, Handbook of theoretical computer science (vol. B): formal ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CASL: the Common Algebraic Specification Language

Theoretical Computer …, Jan 1, 2002

Bookmarks Related papers MentionsView impact

Research paper thumbnail of SIS-semantics implementation system: Reference manual and user guide

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Modular structural operational semantics

Journal of Logic and Algebraic Programming, Jan 1, 2004

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Unified algebras and institutions

Logic in Computer Science, 1989. LICS'89, …, Jan 1, 1989

Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus Uni... more Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus University DK-8000 Aarhus C, Denmark Abstract A novel framework for algebraic specification of ab-stract data types is introduced. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Abstract semantic algebras!

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CoFI: The Common Framework Initiative for Algebraic Specification and Development

TAPSOFT'97: Theory and Practice of Software …, Jan 1, 1997

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Foundations of Modular SOS

Mathematical Foundations of Computer Science 1999, Jan 1, 1999

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Theory and Practice of Action Semantics

Mathematical Foundations of Computer Science 1996, Jan 1, 1996

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The use of action semantics

Abstract Formal descriptions of semantics have so far failed to match the acceptance and populari... more Abstract Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Composing programming languages by combining action-semantics modules

Science of Computer Programming, Jan 1, 2003

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Unified algebras and action semantics

STACS 89, Jan 1, 1989

The aim of this invited paper is to give an introduction to the author's work on two distinc... more The aim of this invited paper is to give an introduction to the author's work on two distinct, yet closely related, topics: "Unified Algebras", a recently-developed framework for the algebraic specification of abstract data types; and "Action Semantics", earlier known as "Abstract Semantic ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CASL User Manual

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A constructive approach to compiler correctness

Automata, Languages and Programming, Jan 1, 1980

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Mathematical semantics and compiler generation

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CASL: A Guided Tour of Its Design

Recent Trends in Algebraic Development Techniques, Jan 1, 1999

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Pragmatics of Modular SOS

Algebraic Methodology and Software Technology, Jan 1, 2002

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The mathematical semantics of Algol 60

An academic directory and search engine.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Action semantics

Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science... more Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science Managing Editor Professor CJ van Rijsbergen, Department of Computing Science, University of Glasgow Editorial Board ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Denotational semantics

Handbook of theoretical computer science (vol. B), Jan 1, 1991

Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search:... more Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search: The ACM Digital Library The Guide. Feedback. Denotational semantics. Source, Handbook of theoretical computer science (vol. B): formal ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CASL: the Common Algebraic Specification Language

Theoretical Computer …, Jan 1, 2002

Bookmarks Related papers MentionsView impact

Research paper thumbnail of SIS-semantics implementation system: Reference manual and user guide

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Modular structural operational semantics

Journal of Logic and Algebraic Programming, Jan 1, 2004

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Unified algebras and institutions

Logic in Computer Science, 1989. LICS'89, …, Jan 1, 1989

Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus Uni... more Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus University DK-8000 Aarhus C, Denmark Abstract A novel framework for algebraic specification of ab-stract data types is introduced. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Abstract semantic algebras!

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CoFI: The Common Framework Initiative for Algebraic Specification and Development

TAPSOFT'97: Theory and Practice of Software …, Jan 1, 1997

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Foundations of Modular SOS

Mathematical Foundations of Computer Science 1999, Jan 1, 1999

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Theory and Practice of Action Semantics

Mathematical Foundations of Computer Science 1996, Jan 1, 1996

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The use of action semantics

Abstract Formal descriptions of semantics have so far failed to match the acceptance and populari... more Abstract Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Composing programming languages by combining action-semantics modules

Science of Computer Programming, Jan 1, 2003

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Unified algebras and action semantics

STACS 89, Jan 1, 1989

The aim of this invited paper is to give an introduction to the author's work on two distinc... more The aim of this invited paper is to give an introduction to the author's work on two distinct, yet closely related, topics: "Unified Algebras", a recently-developed framework for the algebraic specification of abstract data types; and "Action Semantics", earlier known as "Abstract Semantic ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CASL User Manual

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A constructive approach to compiler correctness

Automata, Languages and Programming, Jan 1, 1980

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Mathematical semantics and compiler generation

Bookmarks Related papers MentionsView impact

Research paper thumbnail of CASL: A Guided Tour of Its Design

Recent Trends in Algebraic Development Techniques, Jan 1, 1999

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Pragmatics of Modular SOS

Algebraic Methodology and Software Technology, Jan 1, 2002

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The mathematical semantics of Algol 60

An academic directory and search engine.

Bookmarks Related papers MentionsView impact