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
Object-Oriented Analysis and Design with Applications
- Computer Science
- 1990
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
- Computer Science
- 2008
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β¦
A calculus for complex objects
- MathematicsPODS '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.
SIMULA: an ALGOL-based simulation language
- Computer ScienceCACM
- 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β¦
Design patterns: elements of reuseable object-oriented software
- 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β¦
An Imperative, First-Order Calculus with Object Extension
- Computer ScienceECOOP
- 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.
Origins of the D programming language
- Computer ScienceProc. 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.
What Object-Oriented Programming May Be - and What It Does Not Have To Be
- Computer ScienceECOOP
- 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.
SFJ: An Implementation of Semantic Featherweight Java
- Computer ScienceCOORDINATION
- 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.