The category concept: an extension to the entity-relationship model
Data & Knowledge Engineering
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Program understanding: challenge for the 1990's
IBM Systems Journal
Polyview: an object-oriented data model for supporting multiple user views
Polyview: an object-oriented data model for supporting multiple user views
Data modeling from a categorical perspective
Data modeling from a categorical perspective
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
An Algorithm for Inferring Quasi-Static Types
An Algorithm for Inferring Quasi-Static Types
The Bologna Optimal Higher-Order Machine
The Bologna Optimal Higher-Order Machine
Hi-index | 0.00 |
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 is the domain-ranged structure. An embedded object is accessed by the pointers generated within the host system. To assist with an easy extract the result of the evaluation a pre-embedded object is generated. It is observed as the decomposition into substitutional part and access function part which are generated during the object evaluation.