• Corpus ID: 249538129

EOLANG and $\varphi$-calculus

  title={EOLANG and \$\varphi\$-calculus},
  author={Yegor Bugayenko},
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… 

Figures and Tables from this paper



Object-Oriented Analysis and Design with Applications

This chapter discusses the development of Object-Oriented Programming Languages and the Structure of Complex Systems, and the role of Classification in this development.

Learning Python: Powerful Object-Oriented Programming

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…

Delegation by object composition

A calculus for complex objects

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.

SIMULA: an ALGOL-based simulation language

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…

Design patterns: elements of reuseable object-oriented software

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…

An Imperative, First-Order Calculus with Object Extension

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.

Origins of the D programming language

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.

What Object-Oriented Programming May Be - and What It Does Not Have To Be

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.

SFJ: An Implementation of Semantic Featherweight Java

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.