Expertini Research Research

Browse Research Papers

3+ open-access research outputs.

✕ Clear
🔍 yegor bugayenko 📂 Computer Science
Showing 3 results for "yegor bugayenko" in Computer Science
Computer Science Preprint PDF DOI

Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation

Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim · 2022

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-oriented programs. This…

Read Paper →
Computer Science Preprint PDF DOI

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov · 2022

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 been suggested by Bugay…

Read Paper →
Computer Science Preprint PDF DOI

Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects

Nikolai Kudasov, Violetta Sim · 2022

Many calculi exist for modelling various features of object-oriented languages. Many of them are based on $\lambda$-calculus and focus either on statically typed class-based languages or dynamic proto…

Read Paper →