activity
20182022
most citedTowards platform-independent verification of the standard mathematical functions: the square root function

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…