Object-oriented solutions
计算机科学中的逻辑
2007-05-23 v1 数据库
编程语言
摘要
In this paper are briefly outlined the motivations, mathematical ideas in use, pre-formalization and assumptions, object-as-functor construction, `soft' types and concept constructions, case study for concepts based on variable domains, extracting a computational background, and examples of evaluations.
引用
@article{arxiv.cs/0106021,
title = {Object-oriented solutions},
author = {Viacheslav Wolfengagen},
journal= {arXiv preprint arXiv:cs/0106021},
year = {2007}
}