TL;DR
This paper discusses object-oriented solutions by exploring mathematical foundations, concept constructions, and case studies to provide a comprehensive understanding of object-oriented approaches.
Contribution
It introduces a formal mathematical framework for object-oriented concepts, including object-as-functor construction and variable domain case studies.
Findings
Formalization of object-oriented concepts using mathematical tools
Development of a computational background for object-oriented solutions
Examples demonstrating the evaluation of proposed methods
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAI-based Problem Solving and Planning · Advanced Computational Techniques and Applications · Robotic Path Planning Algorithms