Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

The Rodin technical report. Computing the expression of a pseudoconstructor over monadic values usable as modular semantic autoevaluator by equational rewriting

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în volumul unei conferinţe

Autori: Dan Popa

Editorial: The Proceedings of the second edition of the International Conference on Mathematics and Informatics, (Vol. 19 ), No. 2, p.393-402, 2009.

Rezumat:

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: semantici monadice modulare, interpretoare, pseudoconstructori peste valori monadice (NOU!), autoevaluatori (NOU!) // modular monadic semantics, interpreters, pseudoconstructor, autoevaluator,(itselfevaluator),The Expression Problem

URL: http://stiinte.ub.ro/images/stories/documente/icmi2/Icmi2-33.pdf