The Set of Equations to Evaluate Objects
计算机科学中的逻辑
2007-05-23 v1 编程语言
符号计算
摘要
The notion of an equational shell is studied to involve the objects and their environment. Appropriate methods are studied as valid embeddings of refined objects. The refinement 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.
引用
@article{arxiv.cs/0106013,
title = {The Set of Equations to Evaluate Objects},
author = {Larissa Ismailova},
journal= {arXiv preprint arXiv:cs/0106013},
year = {2007}
}
备注
5 pages