2 research outputs found
The geometry of syntax and semantics for directed file transformations
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