Følg
Peter D Mosses
Peter D Mosses
Swansea University and Delft University of Technology
Verifisert e-postadresse på tudelft.nl - Startside
Tittel
Sitert av
Sitert av
År
Action Semantics AS’99
PD Mosses, DA Watt
4441999
Semantic domains
D Scott, C Gunter
Handbook of Theoretical Computer Science, J. van Leeuwen (ed), North Holland …, 1990
444*1990
CASL: the common algebraic specification language
E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ...
Theoretical Computer Science 286 (2), 153-196, 2002
3292002
Denotational semantics
PD Mosses
Formal Models and Semantics, 575-631, 1990
2951990
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960
PD Mosses
SpringerVerlag, 2004
289*2004
Modular structural operational semantics
PD Mosses
The Journal of Logic and Algebraic Programming 60, 195-228, 2004
2722004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
M Bidoit, PD Mosses
Springer Science & Business Media, 2004
2282004
Unified algebras and institutions
PD Mosses
DAIMI Report Series, 1989
1291989
Abstract semantic algebras!
PD Mosses
DAIMI Report Series, 1982
1081982
CoFI: The common framework initiative for algebraic specification and development
PD Mosses
Colloquium on Trees in Algebra and Programming, 115-137, 1997
971997
Theory and practice of action semantics
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996
961996
SIS-semantics implementation system: Reference manual and user guide
P Mosses
Computer Science Department, Aarhus Univ., 1979
951979
Foundations of modular SOS
PD Mosses
Mathematical Foundations of Computer Science 1999: 24th International …, 1999
931999
Unified algebras and action semantics
PD Mosses
Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989
721989
The use of action semantics
PD Mosses, DA Watt
Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986
711986
A constructive approach to compiler correctness
P Mosses
International Colloquium on Automata, Languages, and Programming, 449-469, 1980
701980
Mathematical semantics and compiler generation
P Mosses
University of Oxford, 1975
691975
Rewriting extended regular expressions
VM Antimirov, PD Mosses
Theoretical Computer Science 143 (1), 51-72, 1995
661995
Implicit propagation in structural operational semantics
PD Mosses, MJ New
Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009
642009
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Science of Computer Programming 47 (1), 3-36, 2003
622003
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20