5 papers · 1 filter
Logic, Individuals and Concepts
Viacheslav Wolfengagen
This extended abstract gives a brief outline of the connections between the descriptions and variable concepts. Thus, the notion of a concept is extended to include both the syntax…
Event Driven Objects
Viacheslav Wolfengagen
A formal consideration in this paper is given for the essential notations to characterize the object that is distinguished in a problem domain. The distinct object is represented b…
Objects and their computational framework
Viacheslav Wolfengagen
Most of the object notions are embedded into a logical domain, especially when dealing with a database theory. Thus, their properties within a computational domain are not yet stud…
Object-oriented solutions
Viacheslav Wolfengagen
In this paper are briefly outlined the motivations, mathematical ideas in use, pre-formalization and assumptions, object-as-functor construction, `soft' types and concept construct…
Building the access pointers to a computation environment
Viacheslav Wolfengagen
A common object technique equipped with the categorical and computational styles is briefly outlined. An object is evaluated by embedding in a host computational environment which…