cqfn/eo
1
1
Fork 0
mirror of https://github.com/cqfn/eo.git synced 2024-10-04 12:19:02 +03:00
Code Issues Projects Releases Wiki Activity

overview split

Browse Source
This commit is contained in:
yegor256 2021-06-13 14:50:12 +03:00
parent e94b95ada8
commit fa142f18ad
No known key found for this signature in database
GPG Key ID: 2A9EEFF323C2244F
2 changed files with 12 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
paper/eolang-paper.tex
View File

@ -97,11 +97,20 @@ programming language based on \phic{}.
\section{Introduction}
\label{sec:intro}
\input{intro}
\section{Overview}
\label{sec:overview}
\input{overview}
The rest of the paper is dedicated to the discussion of the
syntax of the language we created based on the calculus,
the calculus itself, its semantics, and pragmatics.
In order to make it easier to understand, we start
the discussion with the syntax of the language, while the calculus
is derived from it. Then, we discuss the
key features of \eo{} and the differences between it and other
programming languages. We also discuss how the absence of traditional
OOP features, such as mutability or inheritance, affect the complexity of code.
At the end of the paper we overview the work done by others in the area of
formalization of OOP.
\section{Syntax}
\label{sec:syntax}
\input{syntax}

20
paper/overview.tex
View File

@ -29,23 +29,3 @@ The dataization of an object at the highest level of composition
leads to the execution of a program.
\end{itemize}
The contributions made by our work include:
\begin{inparaenum}[1)]
\item a new object calculus,
\item a new programming language with its syntax and semantics formally explained,
\item a translator from the new language to XML,
and
\item a translator from XML to Java.
\end{inparaenum}
The rest of the paper is dedicated to the discussion of the
syntax of the language we created based on the calculus,
the calculus itself, its semantics, and pragmatics.
In order to make it easier to understand, we start
the discussion with the syntax of the language, while the calculus
is derived from it. At the end of the paper we discuss the
key features of \eo{} and the differences between it and other
programming languages.
We also overview the work done by others in the area of
formalization of OOP.