Seuraa
Peter D Mosses
Peter D Mosses
Swansea University and Delft University of Technology
Vahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Action Semantics AS’99
PD Mosses, DA Watt
4461999
Semantic domains and denotational semantics
D Scott, C Gunther
Handbook of Theoretical Computer Science, 633-674, 1990
445*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
3242002
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
286*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, 2003
2272003
Unified algebras and institutions
PD Mosses
DAIMI Report Series, 1989
1271989
Abstract semantic algebras!
PD Mosses
DAIMI Report Series, 1982
1091982
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
Theory and practice of action semantics
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996
971996
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
711989
Mathematical semantics and compiler generation
P Mosses
University of Oxford, 1975
691975
The use of action semantics
PD Mosses, DA Watt
Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986
681986
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
602014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20