arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2001.04952cs.LOcs.CR
收藏

定向文件转换的语法和语义几何

The geometry of syntax and semantics for directed file transformations

Steve Huntsman, Michael Robinson

摘要:

我们引入了一个概念框架,将句法和语义与主束和相关结构中的垂直和水平方向联系起来。这种几何概念对应于执行目标导向的文件转换(如“消除不安全语法”)的机制,并建议各种工程实践。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑