English

Object-oriented solutions

Logic in Computer Science 2007-05-23 v1 Databases Programming Languages

Abstract

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.

Keywords

Cite

@article{arxiv.cs/0106021,
  title  = {Object-oriented solutions},
  author = {Viacheslav Wolfengagen},
  journal= {arXiv preprint arXiv:cs/0106021},
  year   = {2007}
}