Equationally Expressed Evaluation.
Larissa Ismailova, Sergey Vladimirovich Kosikov, Konstantin Zinchenko, А. Н. Михайлов, Lioubouv Bourmistrova, Anastassiya Berezovskaya · 2000
The notion of a equational shell is studied to involve the objects and their environment. Appropriate methods are studied as valid embeddings of rened objects. The renement process determines the linkages between the variety of possible representations giving rise to variants of computations. The case study is equipped with the adjusted equational systems that validate the initial applicative framework.