Login / Signup
Violetta Sim
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 3
Top Topics
D Objects
Top Venues
CoRR
FTfJP@ECOOP
</>
Publications
</>
Nikolai Kudasov
,
Violetta Sim
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects.
FTfJP@ECOOP
(2022)
Nikolai Kudasov
,
Violetta Sim
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects.
CoRR
(2022)
Vitaliy Korbashov
,
Nikolai Kudasov
,
Mikhail Olokin
,
Violetta Sim
Detecting unjustified assumptions in subclasses via EO representation.
CoRR
(2022)