Building the access pointers to a computation environment
Viacheslav Wolfengagen

TL;DR
This paper presents a method for evaluating objects within a host computational environment using access pointers, facilitating easier extraction of evaluation results through a structured decomposition.
Contribution
It introduces a novel approach combining categorical and computational styles for object evaluation and access within a domain-ranged host environment.
Findings
Embedded objects are accessed via pointers generated during evaluation.
Evaluation results are decomposed into substitutional and access function parts.
The approach simplifies extracting results from embedded objects.
Abstract
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.
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
TopicsLogic, programming, and type systems · Parallel Computing and Optimization Techniques · Formal Methods in Verification
