Peter D Mosses
Peter D Mosses
Swansea University and Delft University of Technology
Verifierad e-postadress på swan.ac.uk - Startsida
TitelCiteras avÅr
Action semantics
PD Mosses
Cambridge University Press, 2005
4182005
Semantic domains and denotational semantics
DS Scott, CA Gunter, PD Mosses
TECHNICAL UNIV MUNICH (GERMANY), 1989
408*1989
Denotational semantics
PD Mosses
Formal Models and Semantics, 575-631, 1990
275*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
2692002
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960
PD Mosses
SpringerVerlag, 2004
240*2004
Modular structural operational semantics
PD Mosses
The Journal of Logic and Algebraic Programming 60, 195-228, 2004
2182004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
M Bidoit, PD Mosses
Springer, 2003
1962003
Unified algebras and institutions
PD Mosses
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science …, 1989
1241989
Abstract semantic algebras!
PD Mosses
DAIMI Report Series, 1982
1041982
CoFI: The common framework initiative for algebraic specification and development
PD Mosses
Colloquium on Trees in Algebra and Programming, 115-137, 1997
941997
SIS-semantics implementation system: Reference manual and user guide
P Mosses
Computer Science Department, Aarhus Univ., 1979
891979
Theory and practice of action semantics
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996
871996
Foundations of modular SOS
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 70-80, 1999
851999
The use of action semantics
PD Mosses, DA Watt
Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986
641986
Unified algebras and action semantics
PD Mosses
Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989
631989
A constructive approach to compiler correctness
P Mosses
International Colloquium on Automata, Languages, and Programming, 449-469, 1980
611980
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Science of Computer Programming 47 (1), 3-36, 2003
592003
Implicit propagation in structural operational semantics
PD Mosses, MJ New
Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009
542009
Mathematical semantics and compiler generation
PD Mosses
University of Oxford, 1975
541975
Rewriting extended regular expressions
VM Antimirov, PD Mosses
Theoretical Computer Science 143 (1), 51-72, 1995
521995
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20