Object-oriented solutions

Viacheslav Wolfengagen
DOI: https://doi.org/10.48550/arXiv.cs/0106021
2001-06-11
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.
Logic in Computer Science,Databases,Programming Languages
What problem does this paper attempt to address?