Papers About EO and 𝜑-calculus

Here is a full list of papers about 𝜑-calculus, EO programming language, Polystat, and other related projects (in reverse chronological order):

• Yegor Bugayenko and Mikhail Lipanin (2023), An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language, Proceedings of the 7th International Conference on Computer Science and Artificial Intelligence (CSAI).

• Alena Vasileva and Yegor Bugayenko (2023), Object Specialization to Partially Reduce Polymorphism of Attributes, Proceedings of the 7th International Conference on Computer Science and Artificial Intelligence (CSAI).

• Vadim Piven and Sergey Zykov (2022), Assessment of static type checking compliance of EOLANG, Proceedings of the 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES).

• Joseph Afriyie Attakorah, Vitaliy Korzun, Eugene Popov, Hadi Saleh (2022), EOLANG Book

• A. I. Legalov, Y. G. Bugayenko, N. K. Chuykin, M. V. Shipitsin, Y. I. Riabtsev, A. N. Kamenskiy (2023), Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language, Automatic Control and Computer Sciences, Volume 57, Issue 7, Dec 2023

• Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, and Violetta Sim (2022), Detecting unjustified assumptions in subclasses via EO representation, arXiv

• Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, and Maxim Stepanov (2022), Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs, arXiv

• Yegor Bugayenko (2022), On the Origins of Objects by Means of Careful Selection, arXiv

• Nikolai Kudasov and Violetta Sim (2022), Formalizing 𝜑-calculus-Calculus: A Purely Object-Oriented Calculus of Decorated Objects, (Copy on arXiv) Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

• Yegor Bugayenko (2021), Reducing Programs to Objects, arXiv

• Yegor Bugayenko (2021), EOLANG and 𝜑-calculus, arXiv

• Hadi Saleh, Joseph Afriyie Attakorah, Sergey Zykov, Alexander Legalov (2021), Exploring the EOLANG-Java Integration and Interoperability, Procedia Computer Science, Volume 192, pp. 4560-4569

• Hadi Saleh, Sergey Zykov, Alexander Legalov (2021), EOLANG: Toward a new java-based object-oriented programming language, Proceedings of the 13th KES-IDT 2021 Conference, pp. 355–363

You may also want to watch this YouTube playlist.

If you publish something, please let us know.