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.
