Abstract
The paper focuses on the act of computing the expression of a pseudoconstructor over monadic values (actions) - usable as a modular semantic autoevaluator - by using equational rewriting. After that, the syntax is represented by it's semantic. This paper is a part of The Rodin Technical Report.
Cuvinte cheie
modular monadic semantics
interpreters
pseudoconstructor
autoevaluator
(itselfevaluator)
The Expression Problem