当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The geometry of syntax and semantics for directed file transformations
arXiv - CS - Programming Languages Pub Date : 2020-01-14 , DOI: arxiv-2001.04952
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.

中文翻译:

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

我们介绍了一个概念框架,该框架将语法和语义与主体包和相关结构中的垂直和水平方向相关联。这种几何概念对应于一种执行目标导向的文件转换的机制,例如“消除不安全的语法”,并提出了各种工程实践。
更新日期:2020-01-15
down
wechat
bug