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
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.