Violetta Sim | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Nikolai Kudasov
6 publications
Mikhail Olokin
2 publications
Vitaliy Korbashov
1 publication

research

∙ 09/05/2022

Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation

Elegant Objects (EO) is a programming language based on ideas of pure ob...

0 Vitaliy Korbashov, et al. ∙

research

∙ 04/15/2022

Formalizing φ-calculus: a purely object-oriented calculus of decorated objects

Many calculi exist for modelling various features of object-oriented lan...

0 Nikolai Kudasov, et al. ∙