The geometry of syntax and semantics for directed file transformations

01/14/2020

∙

by   Steve Huntsman, et al.

∙

0

∙

share

We introduce a conceptual framework that associates syntax and semantics with vertical and horizontal directions in principal bundles and related constructions. This notion of geometry corresponds to a mechanism for performing goal-directed file transformations such as "eliminate unsafe syntax" and suggests various engineering practices.