DeepAI AI Chat

EOLANG and phi-calculus

11/26/2021

∙

by Yegor Bugayenko, et al.

∙

∙

Object-oriented programming (OOP) is one of the most popular paradigms used for building software systems. However, despite its industrial and academic popularity, OOP is still missing a formal apparatus similar to lambda-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 phi-calculus. We also created EOLANG (also called EO), an experimental programming language based on phi-calculus.

page 1

page 2

page 3

page 4

∙ 10/25/2019

A Calculus for Language Transformations

In this paper we propose a calculus for expressing algorithms for progra...

0 Benjamin Mourad, et al. ∙

∙ 05/18/2020

PubSub implementation in Haskell with formal verification in Coq

In the cloud, the technology is used on-demand without the need to insta...

0 Boro Sitnikovski, et al. ∙

∙ 04/15/2022

Formalizing φ-calculus: a purely object-oriented calculus of decorated objects

Many calculi exist for modelling various features of object-oriented lan...

0 Nikolai Kudasov, et al. ∙

∙ 04/21/2022

Decomposition Without Regret

Programming languages are embracing both functional and object-oriented ...

0 Weixin Zhang, et al. ∙

∙ 06/13/2020

Pure Pattern Calculus à la de Bruijn

It is well-known in the field of programming languages that dealing with...

0 Alexis Martin, et al. ∙

∙ 12/05/2018

Gems of Corrado Böhm

The main scientific heritage of Corrado Böhm is about computing, both co...

0 Henk P. Barendregt, et al. ∙

∙ 09/15/2022

A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning

Many programming languages in the OO tradition now support pattern match...

0 Aleksander Boruch-Gruszecki, et al. ∙

Code Repositories

eo

EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-Calculus

view repo