2 papers
cs.PL2022
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin +1
Elegant Objects (EO) is a programming language based on ideas of pure objects and the Decorator pattern. Bugayenko has suggested it as an intermediate representation for object-ori…
cs.PL2022
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs
Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin +2
Elegant Objects (EO) is a variation of the object-oriented programming paradigm that favors pure objects and decoration. EO programming language is based on these ideas and has bee…