Peter Mosses
- Auteur
Boeken van Peter Mosses
Peter Mosses
Action Semantics
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics.
Meer
José Luiz Fiadeiro
Peter Mosses
Fernando Orejas
Recent Trends in Algebraic Development Techniques
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?
Meer