TIDE: A Contract for Comparing Exact Execution Relationships Across Execution Records
Year: 2026
Type: preprint
Abstract: This paper defines a small contract for representing and comparing exact execution relationships across execution records. A host record selects corresponding facts into a projection, supplies identity correspondence between projections, and compares exact relationship differences under the supplied mapping.
Author: Dolbear, Gabriel
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7204253899
Cites:
Cited by:
Related to:
