The geometry of syntax and semantics for directed file transformations
Logic in Computer Science
2021-03-18 v1 Cryptography and Security
Abstract
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.
Cite
@article{arxiv.2001.04952,
title = {The geometry of syntax and semantics for directed file transformations},
author = {Steve Huntsman and Michael Robinson},
journal= {arXiv preprint arXiv:2001.04952},
year = {2021}
}