Seguir
Peter D Mosses
Peter D Mosses
Swansea University and Delft University of Technology
Dirección de correo verificada de tudelft.nl - Página principal
Título
Citado por
Citado por
Año
Action Semantics AS’99
PD Mosses, DA Watt
4471999
Semantic domains and denotational semantics
D Scott, C Gunther
Handbook of Theoretical Computer Science, 633-674, 1990
446*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
3302002
Denotational semantics
PD Mosses
Formal Models and Semantics, 575-631, 1990
2971990
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960
PD Mosses
SpringerVerlag, 2004
287*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
2302004
Unified algebras and institutions
PD Mosses
DAIMI Report Series, 1989
1271989
Abstract semantic algebras!
PD Mosses
DAIMI Report Series, 1982
1091982
Theory and practice of action semantics
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996
981996
SIS-semantics implementation system: Reference manual and user guide
P Mosses
Computer Science Department, Aarhus Univ., 1979
981979
CoFI: The common framework initiative for algebraic specification and development
PD Mosses
Colloquium on Trees in Algebra and Programming, 115-137, 1997
971997
Foundations of modular SOS
PD Mosses
Mathematical Foundations of Computer Science 1999: 24th International …, 1999
941999
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
Mathematical semantics and compiler generation
P Mosses
University of Oxford, 1975
691975
A constructive approach to compiler correctness
P Mosses
International Colloquium on Automata, Languages, and Programming, 449-469, 1980
671980
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
Reusable components of semantic specifications
M Churchill, PD Mosses, P Torrini
Proceedings of the 13th international conference on Modularity, 145-156, 2014
612014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20