Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
Staff Login
Premii Ad Astra
Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: http://premii.ad-astra.ro/. Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.
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