THE RODIN TECHNICAL REPORT - COMPUTING THE EXPRESSION OF A PSEUDOCONSTRUCTOR OVER MONADIC VALUES USABLE AS MODULAR SEMANTIC
AUTOEVALUATOR BY EQUATIONAL REWRITING
DAN POPA Department of Mathematics and Informatics, Faculty of Sciences, âVasile Alecsandriâ University of BacÄu, Romania, Spiru Haret 8, 600114 BacÄu, Romania, email: danvpopa@ub.ro
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.