• Corpus ID: 249538129

# EOLANG and $\varphi$-calculus

@inproceedings{Bugayenko2021EOLANGA,
title={EOLANG and \$\varphi\$-calculus},
author={Yegor Bugayenko},
year={2021}
}
Object-oriented programming (OOP) is one of the most popular paradigms used for building software systems 1 . However, despite its industrial and academic popularity, OOP is still missing a formal apparatus similar to 𝜆 -calculus, which functional programming is based on. There were a number of attempts to formalize OOP, but none of them managed to cover all the features available in modern OO programming languages, such as C++ or Java. We have made yet another attempt and created 𝜑 -calculus…

## References

SHOWING 1-10 OF 96 REFERENCES

This chapter discusses the development of Object-Oriented Programming Languages and the Structure of Complex Systems, and the role of Classification in this development.
The authors of Learning Python show you enough essentials of the Python scripting language to enable you to begin solving problems right away, then reveal more powerful aspects of the language one at
• Computer Science
Sci. Comput. Program.
• 2011
• Mathematics
PODS '86
• 1985
The relational model is now widely accepted as a model to represent various forms of data, however, the fact that it is restricted to first normal form (flat) relations, has proven to be a problem in many applications.
• Computer Science
CACM
• 1966
This paper is an introduction to SIMULA, a programming language designed to provide a systems analyst with unified concepts which facilitate the concise description of discrete event systems. A
• Computer Science, Art
• 1994
The book is an introduction to the idea of design patterns in software engineering, and a catalog of twenty-three common patterns. The nice thing is, most experienced OOP designers will find out
• Computer Science
ECOOP
• 1998
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation, and shows how Java-style classes and mixins may be coded in this calculus.
• Computer Science
Proc. ACM Program. Lang.
• 2020
The D programming language began in 1999 as an effort to pull the best features of C and C++ into a new one, and evolved considerably, both in capability and in the accretion of a substantial worldwide community that became increasingly involved with contributing.
• Computer Science
ECOOP
• 1988
A conceptual framework for object-oriented programming is presented that is independent of specific programming language constructs and the language mechanisms are compared with the corresponding elements of other object- oriented languages.
• Computer Science
COORDINATION
• 2020
The benefits of SFJ, illustrated in the paper and the accompanying video, show how static type-checking of boolean types and semantic subtyping gives higher guarantees of program correctness, more flexibility and compactness of program writing.