论文标题
有向文件转换的语法和语义的几何形状
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.
