↓
Skip to main content
Peter Mosses
Affiliations
Meetings
Publications
Research
Software
Tags
Affiliations
Meetings
Publications
Research
Software
Tags
Home
/
Tags
/
Tags
action notation
action semantics
algebraic specification
ASF+SDF
BCPL
call by need
code navigation
component-based semantics
DCGs
denotational semantics
documentation
executable semantics
extensibility
IDE
Jekyll
labeled transitions
lambda interpreter
Maude
meta-environment
modularity
MSOS
operational semantics
partial evaluation
Prolog
SOS
Spoofax
teaching
websites